The bald eagle eats the dog. The bald eagle eats the squirrel. The bald eagle is big. The bald eagle is green. The bald eagle is round. The bald eagle sees the dog. The bald eagle visits the dog. The dog is green. The dog is round. The squirrel eats the dog. The squirrel is rough. The squirrel sees the bald eagle. The squirrel sees the dog. The squirrel visits the bald eagle. The squirrel visits the dog. If the squirrel is big then the squirrel visits the bald eagle. If something eats the squirrel then it sees the dog. If something is round then it sees the squirrel. If the dog is rough then the dog visits the squirrel. If something sees the bald eagle then the bald eagle is rough. If something eats the bald eagle then it is round.
The dog is not round.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle sees the dog.[(triple6 OR ((triple2) -> rule2))] The bald eagle visits the dog.[(triple7)] The dog is green.[(triple8)] The dog is round.[(triple9)] The squirrel eats the dog.[(triple10)] The squirrel is rough.[(triple11)] The squirrel sees the bald eagle.[(triple12)] The squirrel sees the dog.[(triple13)] The squirrel visits the bald eagle.[(triple14)] The squirrel visits the dog.[(triple15)] @1: The bald eagle is rough.[(((triple12) -> rule5))] The bald eagle sees the squirrel.[(((triple5) -> rule3))] The dog sees the squirrel.[(((triple9) -> rule3))]