The cow chases the mouse. The cow is cold. The cow is rough. The cow visits the mouse. The mouse chases the cow. The mouse is cold. The mouse visits the cow. If something is cold then it chases the mouse. If something visits the cow and the cow is red then the cow is rough.
The mouse does not eat the cow.
@0: The cow chases the mouse.[(triple1 OR ((triple2) -> rule1))] The cow is cold.[(triple2)] The cow is rough.[(triple3)] The cow visits the mouse.[(triple4)] The mouse chases the cow.[(triple5)] The mouse is cold.[(triple6)] The mouse visits the cow.[(triple7)] @1: The mouse chases the mouse.[(((triple6) -> rule1))]