The bald eagle chases the tiger. The cat chases the tiger. The cat sees the squirrel. The squirrel chases the bald eagle. The squirrel chases the cat. The tiger is rough. The tiger sees the bald eagle. If something visits the bald eagle then the bald eagle chases the cat. If something visits the bald eagle and it sees the tiger then the bald eagle visits the squirrel. If something is big and it chases the cat then it visits the cat. If something is big then it sees the tiger. Rough things are blue. If something sees the bald eagle and it chases the cat then it visits the squirrel.
The squirrel does not see the tiger.
@0: The bald eagle chases the tiger.[(triple1)] The cat chases the tiger.[(triple2)] The cat sees the squirrel.[(triple3)] The squirrel chases the bald eagle.[(triple4)] The squirrel chases the cat.[(triple5)] The tiger is rough.[(triple6)] The tiger sees the bald eagle.[(triple7)] @1: The tiger is blue.[(((triple6) -> rule5))]