The bald eagle eats the cat. The bald eagle eats the dog. The bald eagle eats the mouse. The bald eagle is cold. The bald eagle is green. The bald eagle is round. The bald eagle visits the mouse. The cat sees the mouse. The cat visits the dog. The dog eats the cat. The dog is red. The dog sees the cat. The mouse eats the dog. The mouse visits the cat. The mouse visits the dog. If the cat eats the mouse and the mouse visits the bald eagle then the mouse is round. If something sees the mouse then the mouse sees the cat. If something sees the mouse and the mouse eats the dog then the dog is red. If something visits the mouse then it sees the bald eagle. If the cat visits the mouse then the mouse is young. If something visits the cat and the cat is green then it sees the mouse.
The bald eagle does not see the bald eagle.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle eats the mouse.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is green.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle visits the mouse.[(triple7)] The cat sees the mouse.[(triple8)] The cat visits the dog.[(triple9)] The dog eats the cat.[(triple10)] The dog is red.[(triple11 OR ((triple8 triple13) -> rule3))] The dog sees the cat.[(triple12)] The mouse eats the dog.[(triple13)] The mouse visits the cat.[(triple14)] The mouse visits the dog.[(triple15)] @1: The bald eagle sees the bald eagle.[(((triple7) -> rule4))] The mouse sees the cat.[(((triple8) -> rule2))]