The bald eagle chases the cow. The bald eagle chases the squirrel. The bald eagle is young. The bald eagle sees the squirrel. The bald eagle visits the cat. The bald eagle visits the cow. The cat is nice. The cat sees the squirrel. The cow is kind. The cow is round. The cow is young. The cow visits the cat. The squirrel chases the bald eagle. The squirrel chases the cow. The squirrel sees the cow. If the bald eagle visits the cow then the cow visits the squirrel. If someone chases the bald eagle and they are young then the bald eagle is kind. If someone sees the squirrel and they are round then they chase the cat. If someone is nice then they see the cow. If the squirrel sees the cow and the cow visits the squirrel then the squirrel visits the bald eagle. If someone chases the cow and they chase the bald eagle then the cow sees the bald eagle. If someone chases the bald eagle then they are nice. If someone visits the cat then they visit the bald eagle.
The squirrel does not see the cow.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The bald eagle visits the cat.[(triple5)] The bald eagle visits the cow.[(triple6)] The cat is nice.[(triple7)] The cat sees the squirrel.[(triple8)] The cow is kind.[(triple9)] The cow is round.[(triple10)] The cow is young.[(triple11)] The cow visits the cat.[(triple12)] The squirrel chases the bald eagle.[(triple13)] The squirrel chases the cow.[(triple14)] The squirrel sees the cow.[(triple15 OR ((((triple13) -> rule7)) -> rule4))] @1: The bald eagle visits the bald eagle.[(((triple5) -> rule8))] The cat sees the cow.[(((triple7) -> rule4))] The cow sees the bald eagle.[(((triple14 triple13) -> rule6))] The cow visits the bald eagle.[(((triple12) -> rule8))] The cow visits the squirrel.[(((triple6) -> rule1))] The squirrel is nice.[(((triple13) -> rule7))] @2: The squirrel visits the bald eagle.[(((triple15 ((triple6) -> rule1)) -> rule5) OR ((((((triple13) -> rule7)) -> rule4) ((triple6) -> rule1)) -> rule5))]