The cow is not cold. The cow is nice. The cow is young. The cow needs the mouse. The cow sees the mouse. The cow visits the mouse. The mouse is young. The mouse needs the cow. The mouse sees the cow. The mouse does not visit the cow. If something needs the cow then it visits the mouse. If the cow needs the mouse then the mouse needs the cow. If something sees the cow then the cow is round. If something needs the mouse then it needs the cow. If something needs the cow and the cow does not visit the mouse then the mouse visits the cow. If the mouse sees the cow then the mouse does not visit the cow.
The mouse does not need the mouse.
@0: The cow is nice.[(triple2)] The cow is not cold.[(triple1)] The cow is young.[(triple3)] The cow needs the mouse.[(triple4)] The cow sees the mouse.[(triple5)] The cow visits the mouse.[(triple6 OR ((((triple4) -> rule4)) -> rule1))] The mouse does not visit the cow.[(triple10 OR ((triple9) -> rule6))] The mouse is young.[(triple7)] The mouse needs the cow.[(triple8 OR ((triple4) -> rule2))] The mouse sees the cow.[(triple9)] @1: The cow is round.[(((triple9) -> rule3))] The cow needs the cow.[(((triple4) -> rule4))] The mouse visits the mouse.[(((triple8) -> rule1) OR ((((triple4) -> rule2)) -> rule1))]