The bald eagle likes the squirrel. The bear likes the tiger. The squirrel chases the bald eagle. The tiger is kind. If something chases the bald eagle then it likes the squirrel. If something is rough then it chases the squirrel. If something is blue then it chases the bald eagle. If something likes the tiger then the tiger is red. If something visits the tiger and it is blue then it is red. If something visits the bear and it visits the tiger then it visits the squirrel.
The squirrel does not visit the squirrel.
@0: The bald eagle likes the squirrel.[(triple1)] The bear likes the tiger.[(triple2)] The squirrel chases the bald eagle.[(triple3)] The tiger is kind.[(triple4)] @1: The squirrel likes the squirrel.[(((triple3) -> rule1))] The tiger is red.[(((triple2) -> rule4))]