The bald eagle does not chase the mouse. The bald eagle is cold. The bald eagle is nice. The bald eagle is not red. The bald eagle likes the mouse. The bald eagle visits the mouse. The mouse does not chase the bald eagle. The mouse is not cold. The mouse is not red. The mouse is round. The mouse likes the bald eagle. The mouse visits the bald eagle. If something likes the mouse and it visits the mouse then the mouse is round. If something visits the mouse then it likes the bald eagle.
The mouse is nice.
@0: The bald eagle does not chase the mouse.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is not red.[(triple4)] The bald eagle likes the mouse.[(triple5)] The bald eagle visits the mouse.[(triple6)] The mouse does not chase the bald eagle.[(triple7)] The mouse is not cold.[(triple8)] The mouse is not red.[(triple9)] The mouse is round.[(triple10 OR ((triple5 triple6) -> rule1))] The mouse likes the bald eagle.[(triple11)] The mouse visits the bald eagle.[(triple12)] @1: The bald eagle likes the bald eagle.[(((triple6) -> rule2))]