The bald eagle eats the cow. The bald eagle eats the squirrel. The bald eagle is big. The bald eagle is kind. The bald eagle sees the cow. The bald eagle visits the cow. The cow eats the bald eagle. The cow eats the squirrel. The cow is big. The cow is round. The cow sees the squirrel. The squirrel eats the bald eagle. The squirrel eats the cow. The squirrel sees the bald eagle. The squirrel sees the cow. The squirrel visits the bald eagle. If something is red and it visits the bald eagle then it eats the cow. If the cow is kind then the cow sees the squirrel. If something is cold and it visits the cow then the cow eats the squirrel. If something is red and it eats the squirrel then it is cold. If something sees the cow and it is big then it eats the cow. If something sees the bald eagle and it eats the squirrel then it visits the squirrel. If something eats the bald eagle then it sees the bald eagle. If something is round and it visits the squirrel then the squirrel sees the bald eagle.
The squirrel does not visit the squirrel.
@0: The bald eagle eats the cow.[(triple1 OR ((triple5 triple3) -> rule5))] The bald eagle eats the squirrel.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle sees the cow.[(triple5)] The bald eagle visits the cow.[(triple6)] The cow eats the bald eagle.[(triple7)] The cow eats the squirrel.[(triple8)] The cow is big.[(triple9)] The cow is round.[(triple10)] The cow sees the squirrel.[(triple11)] The squirrel eats the bald eagle.[(triple12)] The squirrel eats the cow.[(triple13)] The squirrel sees the bald eagle.[(triple14 OR ((triple12) -> rule7) OR ((triple10 ((((triple7) -> rule7) triple8) -> rule6)) -> rule8))] The squirrel sees the cow.[(triple15)] The squirrel visits the bald eagle.[(triple16)] @1: The cow sees the bald eagle.[(((triple7) -> rule7))] @2: The cow visits the squirrel.[(((((triple7) -> rule7) triple8) -> rule6))]