r = Reason()
s1 = Symbolic('a b c o u t z')
r.add_pattern(pattern=s1, attribute='abc', relation='is')
s2 = Symbolic('v a b c h v l')
r.add_pattern(pattern=s2, attribute='abc', relation='is')
s3 = Symbolic('x y k a b n')
r.add_pattern(pattern=s3, attribute='abc', relation='is not')
s4 = Symbolic('o n o x y g')
r.add_pattern(pattern=s4, attribute='abc', relation='is not')

print (r.distinguishing('abc'))
print (r.distinguishing('abc', relation='is not'))