The bald eagle eats the cow. The bald eagle eats the squirrel. The bald eagle is blue. The bald eagle is not young. The cow eats the squirrel. The cow is young. The cow visits the squirrel. The dog is blue. The dog is round. The dog sees the squirrel. The squirrel eats the dog. The squirrel sees the bald eagle. The squirrel sees the cow. The squirrel does not see the dog. The squirrel does not visit the dog. If something eats the squirrel and it is young then it does not see the squirrel. If something sees the squirrel and the squirrel visits the bald eagle then it visits the cow. If something sees the squirrel then the squirrel eats the dog. If something sees the cow then it does not eat the bald eagle. If something is young and it visits the bald eagle then it does not see the dog. If something visits the bald eagle and it visits the dog then the bald eagle sees the dog.
The squirrel sees the bald eagle.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is not young.[(triple4)] The cow eats the squirrel.[(triple5)] The cow is young.[(triple6)] The cow visits the squirrel.[(triple7)] The dog is blue.[(triple8)] The dog is round.[(triple9)] The dog sees the squirrel.[(triple10)] The squirrel does not see the dog.[(triple14)] The squirrel does not visit the dog.[(triple15)] The squirrel eats the dog.[(triple11 OR ((triple10) -> rule3))] The squirrel sees the bald eagle.[(triple12)] The squirrel sees the cow.[(triple13)] @1: The cow does not see the squirrel.[(((triple5 triple6) -> rule1))] The squirrel does not eat the bald eagle.[(((triple13) -> rule4))]