The bald eagle eats the cat. The cat is nice. The cat sees the cow. The cat sees the squirrel. The cat visits the bald eagle. The cow eats the cat. The cow is big. The cow is nice. The cow visits the bald eagle. The squirrel eats the bald eagle. The squirrel is big. The squirrel sees the bald eagle. If something eats the cow then it sees the bald eagle. If the bald eagle is nice then the bald eagle sees the cow. If something is blue and young then it visits the bald eagle. If something sees the squirrel then the squirrel eats the cow. If something is big then it is red. If the squirrel visits the cow and the squirrel eats the bald eagle then the bald eagle sees the cow. Nice things are red. If the cat sees the cow then the cow sees the cat.
The bald eagle does not see the bald eagle.
@0: The bald eagle eats the cat.[(triple1)] The cat is nice.[(triple2)] The cat sees the cow.[(triple3)] The cat sees the squirrel.[(triple4)] The cat visits the bald eagle.[(triple5)] The cow eats the cat.[(triple6)] The cow is big.[(triple7)] The cow is nice.[(triple8)] The cow visits the bald eagle.[(triple9)] The squirrel eats the bald eagle.[(triple10)] The squirrel is big.[(triple11)] The squirrel sees the bald eagle.[(triple12 OR ((((triple4) -> rule4)) -> rule1))] @1: The cat is red.[(((triple2) -> rule7))] The cow is red.[(((triple7) -> rule5) OR ((triple8) -> rule7))] The cow sees the cat.[(((triple3) -> rule8))] The squirrel eats the cow.[(((triple4) -> rule4))] The squirrel is red.[(((triple11) -> rule5))]