The cow is young. The cow visits the mouse. The lion is nice. The mouse is nice. The mouse does not see the lion. The mouse visits the cow. The mouse does not visit the lion. If something is nice then it chases the lion. If something chases the cow then it sees the mouse. If something is blue then it sees the mouse. If something sees the mouse then it sees the cow. If the cow is not red then the cow does not chase the lion. If something visits the mouse then it chases the cow.
The cow sees the mouse.
@0: The cow is young.[(triple1)] The cow visits the mouse.[(triple2)] The lion is nice.[(triple3)] The mouse does not see the lion.[(triple5)] The mouse does not visit the lion.[(triple7)] The mouse is nice.[(triple4)] The mouse visits the cow.[(triple6)] @1: The cow chases the cow.[(((triple2) -> rule6))] The lion chases the lion.[(((triple3) -> rule1))] The mouse chases the lion.[(((triple4) -> rule1))] @2: The cow sees the mouse.[(((((triple2) -> rule6)) -> rule2))] @3: The cow sees the cow.[(((((((triple2) -> rule6)) -> rule2)) -> rule4))]