The bald eagle eats the squirrel. The bald eagle is round. The bald eagle sees the cat. The bald eagle sees the squirrel. The bald eagle does not visit the cat. The cat visits the dog. The dog eats the cat. The dog does not eat the squirrel. The dog is green. The dog visits the bald eagle. The squirrel is cold. The squirrel sees the bald eagle. If something sees the bald eagle and the bald eagle is round then the bald eagle eats the dog. If something sees the cat and the cat eats the bald eagle then the bald eagle eats the dog. If something is blue then it visits the squirrel. If the cat eats the dog then the cat does not see the dog. If something eats the squirrel then it eats the bald eagle. If something is round and it eats the dog then the dog is blue. If the squirrel is not big then the squirrel eats the bald eagle. If something visits the bald eagle then the bald eagle does not see the dog.
The dog visits the squirrel.
@0: The bald eagle does not visit the cat.[(triple5)] The bald eagle eats the squirrel.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle sees the cat.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The cat visits the dog.[(triple6)] The dog does not eat the squirrel.[(triple8)] The dog eats the cat.[(triple7)] The dog is green.[(triple9)] The dog visits the bald eagle.[(triple10)] The squirrel is cold.[(triple11)] The squirrel sees the bald eagle.[(triple12)] @1: The bald eagle does not see the dog.[(((triple10) -> rule8))] The bald eagle eats the bald eagle.[(((triple1) -> rule5))] The bald eagle eats the dog.[(((triple12 triple2) -> rule1))] @2: The dog is blue.[(((triple2 ((triple12 triple2) -> rule1)) -> rule6))] @3: The dog visits the squirrel.[(((((triple2 ((triple12 triple2) -> rule1)) -> rule6)) -> rule3))]