The bald eagle does not chase the cat. The bald eagle is big. The bald eagle is not round. The cat does not chase the bald eagle. The cat visits the bald eagle. The squirrel does not chase the bald eagle. The squirrel visits the cat. If something is big and red then it chases the squirrel. If something chases the cat and it does not visit the bald eagle then the bald eagle eats the squirrel. If something visits the cat then the cat does not chase the squirrel.
The squirrel visits the bald eagle.
@0: The bald eagle does not chase the cat.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is not round.[(triple3)] The cat does not chase the bald eagle.[(triple4)] The cat visits the bald eagle.[(triple5)] The squirrel does not chase the bald eagle.[(triple6)] The squirrel visits the cat.[(triple7)] @1: The cat does not chase the squirrel.[(((triple7) -> rule3))]