The bald eagle is blue. The bald eagle is cold. The bald eagle does not see the dog. The bald eagle does not see the mouse. The bald eagle visits the mouse. The dog is not blue. The dog is not nice. The dog is round. The dog sees the bald eagle. The dog visits the bald eagle. The dog visits the mouse. The mouse is not kind. The mouse is not nice. The mouse likes the bald eagle. The mouse sees the bald eagle. The mouse visits the bald eagle. If something is kind then it sees the bald eagle. If something visits the mouse then the mouse likes the dog. If something likes the dog then it sees the mouse. If something is nice then it likes the bald eagle. If something sees the mouse then it visits the dog. If something is blue and it visits the bald eagle then the bald eagle visits the mouse. If something visits the mouse and the mouse is round then the mouse visits the dog. If something is blue and it does not like the dog then the dog does not like the bald eagle.
The mouse likes the dog.
@0: The bald eagle does not see the dog.[(triple3)] The bald eagle does not see the mouse.[(triple4)] The bald eagle is blue.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle visits the mouse.[(triple5)] The dog is not blue.[(triple6)] The dog is not nice.[(triple7)] The dog is round.[(triple8)] The dog sees the bald eagle.[(triple9)] The dog visits the bald eagle.[(triple10)] The dog visits the mouse.[(triple11)] The mouse is not kind.[(triple12)] The mouse is not nice.[(triple13)] The mouse likes the bald eagle.[(triple14)] The mouse sees the bald eagle.[(triple15)] The mouse visits the bald eagle.[(triple16)] @1: The mouse likes the dog.[(((triple11) -> rule2) OR ((triple5) -> rule2))] @2: The mouse sees the mouse.[(((((triple11) -> rule2)) -> rule3) OR ((((triple5) -> rule2)) -> rule3))] @3: The mouse visits the dog.[(((((((triple11) -> rule2)) -> rule3)) -> rule5) OR ((((((triple5) -> rule2)) -> rule3)) -> rule5))]