The cow likes the rabbit. The cow visits the mouse. The mouse chases the cow. The mouse chases the rabbit. The mouse is cold. The mouse is green. The mouse likes the cow. The mouse likes the rabbit. The mouse visits the cow. The rabbit chases the mouse. The rabbit is young. The rabbit likes the cow. The rabbit likes the mouse. The rabbit visits the cow. The rabbit visits the mouse. If someone visits the mouse and they visit the cow then they chase the cow. If someone visits the mouse and the mouse likes the cow then the cow visits the mouse. If the cow visits the mouse then the cow likes the mouse.
The cow does not chase the cow.
@0: The cow likes the rabbit.[(triple1)] The cow visits the mouse.[(triple2 OR ((triple15 triple7) -> rule2))] The mouse chases the cow.[(triple3)] The mouse chases the rabbit.[(triple4)] The mouse is cold.[(triple5)] The mouse is green.[(triple6)] The mouse likes the cow.[(triple7)] The mouse likes the rabbit.[(triple8)] The mouse visits the cow.[(triple9)] The rabbit chases the mouse.[(triple10)] The rabbit is young.[(triple11)] The rabbit likes the cow.[(triple12)] The rabbit likes the mouse.[(triple13)] The rabbit visits the cow.[(triple14)] The rabbit visits the mouse.[(triple15)] @1: The cow likes the mouse.[(((triple2) -> rule3) OR ((((triple15 triple7) -> rule2)) -> rule3))] The rabbit chases the cow.[(((triple15 triple14) -> rule1))]