The cow chases the mouse. The cow is cold. The cow is green. The cow is kind. The cow is nice. The cow is rough. The cow needs the mouse. The cow visits the mouse. The mouse is green. The mouse is rough. The mouse needs the cow. The mouse visits the cow. If something is rough and green then it chases the mouse. If something is nice then it visits the mouse. If the cow chases the mouse then the cow is green.
The cow does not need the cow.
@0: The cow chases the mouse.[(triple1 OR ((triple6 triple3) -> rule1))] The cow is cold.[(triple2)] The cow is green.[(triple3 OR ((triple1) -> rule3))] The cow is kind.[(triple4)] The cow is nice.[(triple5)] The cow is rough.[(triple6)] The cow needs the mouse.[(triple7)] The cow visits the mouse.[(triple8 OR ((triple5) -> rule2))] The mouse is green.[(triple9)] The mouse is rough.[(triple10)] The mouse needs the cow.[(triple11)] The mouse visits the cow.[(triple12)] @1: The mouse chases the mouse.[(((triple10 triple9) -> rule1))]