The cow is cold. The cow is young. The cow likes the mouse. The cow does not need the mouse. The cow visits the mouse. The mouse is not nice. The mouse is red. The mouse is young. The mouse needs the cow. The mouse visits the cow. If the cow visits the mouse then the mouse needs the cow.
The mouse visits the mouse.
@0: The cow does not need the mouse.[(triple4)] The cow is cold.[(triple1)] The cow is young.[(triple2)] The cow likes the mouse.[(triple3)] The cow visits the mouse.[(triple5)] The mouse is not nice.[(triple6)] The mouse is red.[(triple7)] The mouse is young.[(triple8)] The mouse needs the cow.[(triple9 OR ((triple5) -> rule1))] The mouse visits the cow.[(triple10)]