The cow is blue. 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 visits the cow. If something sees the mouse then the mouse visits the cow. If something is blue and it needs the mouse then it is cold. If something needs the cow and it visits the mouse then it visits the cow. If something needs the mouse and it sees the mouse then the mouse visits the cow. If something is rough and round then it needs the mouse. If something is young and round then it is rough. If something visits the cow then the cow visits the mouse. If something visits the cow then the cow is cold.
The cow sees the cow.
@0: The cow is blue.[(triple1)] The cow sees the mouse.[(triple2)] The cow visits the mouse.[(triple3 OR ((triple7) -> rule7) OR ((((triple2) -> rule1)) -> rule7))] The mouse is young.[(triple4)] The mouse needs the cow.[(triple5)] The mouse sees the cow.[(triple6)] The mouse visits the cow.[(triple7 OR ((triple2) -> rule1))] @1: The cow is cold.[(((triple7) -> rule8) OR ((((triple2) -> rule1)) -> rule8))]