The bald eagle is round. The cat does not see the dog. The cat visits the mouse. The dog sees the cat. The mouse does not like the dog. The mouse sees the bald eagle. The mouse sees the cat. If something likes the mouse then it visits the cat. If something likes the dog and the dog is round then it likes the cat. If the cat sees the mouse then the cat is red. If something sees the bald eagle then the bald eagle is red. If something is red then it likes the mouse. If something visits the dog then the dog visits the cat. If something likes the dog and the dog is nice then it visits the dog. If something likes the cat and it does not like the mouse then it does not see the cat.
The bald eagle visits the mouse.
@0: The bald eagle is round.[(triple1)] The cat does not see the dog.[(triple2)] The cat visits the mouse.[(triple3)] The dog sees the cat.[(triple4)] The mouse does not like the dog.[(triple5)] The mouse sees the bald eagle.[(triple6)] The mouse sees the cat.[(triple7)] @1: The bald eagle is red.[(((triple6) -> rule4))] @2: The bald eagle likes the mouse.[(((((triple6) -> rule4)) -> rule5))] @3: The bald eagle visits the cat.[(((((((triple6) -> rule4)) -> rule5)) -> rule1))]