The cow visits the mouse. The mouse chases the cow. The mouse is cold. The mouse is nice. The mouse is not rough. The mouse does not need the cow. The mouse visits the cow. If something visits the cow and it visits the mouse then the cow chases the mouse. If something needs the mouse then the mouse visits the cow. If something is cold then it visits the cow. If something visits the cow and it chases the cow then it is nice. If something visits the cow then the cow is cold. If something chases the cow and the cow needs the mouse then the cow is round.
The cow chases the mouse.
@0: The cow visits the mouse.[(triple1)] The mouse chases the cow.[(triple2)] The mouse does not need the cow.[(triple6)] The mouse is cold.[(triple3)] The mouse is nice.[(triple4 OR ((triple7 triple2) -> rule4) OR ((((triple3) -> rule3) triple2) -> rule4))] The mouse is not rough.[(triple5)] The mouse visits the cow.[(triple7 OR ((triple3) -> rule3))] @1: The cow is cold.[(((triple7) -> rule5) OR ((((triple3) -> rule3)) -> rule5))] @2: The cow visits the cow.[(((((triple7) -> rule5)) -> rule3) OR ((((((triple3) -> rule3)) -> rule5)) -> rule3))] @3: The cow chases the mouse.[(((((((triple7) -> rule5)) -> rule3) triple1) -> rule1) OR ((((((((triple3) -> rule3)) -> rule5)) -> rule3) triple1) -> rule1))]