The bald eagle is round. The cat eats the dog. The cat is not blue. The cat does not like the mouse. The cat does not see the dog. The cat sees the mouse. The dog does not eat the cat. The dog is blue. The dog is rough. The dog sees the cat. The mouse likes the dog. The mouse does not see the bald eagle. If something is big then it does not like the bald eagle. If something is round then it does not see the cat. If something likes the mouse and it likes the dog then the mouse eats the dog.
The cat does not see the dog.
@0: The bald eagle is round.[(triple1)] The cat does not like the mouse.[(triple4)] The cat does not see the dog.[(triple5)] The cat eats the dog.[(triple2)] The cat is not blue.[(triple3)] The cat sees the mouse.[(triple6)] The dog does not eat the cat.[(triple7)] The dog is blue.[(triple8)] The dog is rough.[(triple9)] The dog sees the cat.[(triple10)] The mouse does not see the bald eagle.[(triple12)] The mouse likes the dog.[(triple11)] @1: The bald eagle does not see the cat.[(((triple1) -> rule2))]