The bald eagle chases the cow. The bald eagle is not cold. The bald eagle is young. The bald eagle visits the cow. The cow chases the bald eagle. The cow is red. The mouse chases the cow. The mouse sees the bald eagle. The mouse does not visit the bald eagle. The mouse visits the rabbit. The rabbit sees the mouse. The rabbit visits the mouse. If the mouse chases the rabbit and the mouse is not green then the rabbit does not visit the mouse. If something chases the cow and the cow sees the rabbit then it chases the bald eagle. If something visits the cow then the cow is red. If something is big then it visits the rabbit. If something chases the bald eagle then it visits the cow. If something chases the cow and it visits the rabbit then the cow sees the rabbit.
The rabbit visits the mouse.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is not cold.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle visits the cow.[(triple4 OR ((((triple1 ((triple7 triple10) -> rule6)) -> rule2)) -> rule5))] The cow chases the bald eagle.[(triple5)] The cow is red.[(triple6 OR ((triple4) -> rule3) OR ((((triple5) -> rule5)) -> rule3) OR ((((((triple1 ((triple7 triple10) -> rule6)) -> rule2)) -> rule5)) -> rule3) OR ((((((triple7 ((triple7 triple10) -> rule6)) -> rule2)) -> rule5)) -> rule3))] The mouse chases the cow.[(triple7)] The mouse does not visit the bald eagle.[(triple9)] The mouse sees the bald eagle.[(triple8)] The mouse visits the rabbit.[(triple10)] The rabbit sees the mouse.[(triple11)] The rabbit visits the mouse.[(triple12)] @1: The cow sees the rabbit.[(((triple7 triple10) -> rule6))] The cow visits the cow.[(((triple5) -> rule5))] @2: The bald eagle chases the bald eagle.[(((triple1 ((triple7 triple10) -> rule6)) -> rule2))] The mouse chases the bald eagle.[(((triple7 ((triple7 triple10) -> rule6)) -> rule2))] @3: The mouse visits the cow.[(((((triple7 ((triple7 triple10) -> rule6)) -> rule2)) -> rule5))]