The cow chases the mouse. The cow is nice. The cow is rough. The mouse chases the cow. The mouse is cold. The mouse visits the cow. The mouse visits the rabbit. The rabbit chases the cow. The rabbit chases the mouse. The rabbit is green. The rabbit is nice. The rabbit needs the cow. The rabbit needs the mouse. The rabbit visits the cow. The rabbit visits the mouse. If something needs the mouse and it is cold then the mouse chases the rabbit. If something needs the rabbit and it is kind then the rabbit needs the cow. If something chases the rabbit then it needs the mouse. If something chases the rabbit and the rabbit is rough then the rabbit chases the cow. If something visits the cow then it chases the rabbit. If something needs the mouse and the mouse needs the rabbit then it chases the cow.
The cow chases the rabbit.
@0: The cow chases the mouse.[(triple1)] The cow is nice.[(triple2)] The cow is rough.[(triple3)] The mouse chases the cow.[(triple4)] The mouse is cold.[(triple5)] The mouse visits the cow.[(triple6)] The mouse visits the rabbit.[(triple7)] The rabbit chases the cow.[(triple8)] The rabbit chases the mouse.[(triple9)] The rabbit is green.[(triple10)] The rabbit is nice.[(triple11)] The rabbit needs the cow.[(triple12)] The rabbit needs the mouse.[(triple13 OR ((((triple14) -> rule5)) -> rule3))] The rabbit visits the cow.[(triple14)] The rabbit visits the mouse.[(triple15)] @1: The mouse chases the rabbit.[(((triple6) -> rule5))] The rabbit chases the rabbit.[(((triple14) -> rule5))] @2: The mouse needs the mouse.[(((((triple6) -> rule5)) -> rule3))]