The cat is not young. The cow is cold. The lion sees the mouse. The mouse does not visit the cow. If something needs the mouse and the mouse visits the lion then the lion sees the cat. If something visits the cow then the cow visits the lion. If something needs the cat then the cat does not need the mouse. If something is kind then it is blue. If something visits the lion then it is not blue. If something is blue and not young then it does not visit the cat. If something needs the mouse then it visits the cow. If something sees the mouse then it needs the mouse.
The cat visits the cow.
@0: The cat is not young.[(triple1)] The cow is cold.[(triple2)] The lion sees the mouse.[(triple3)] The mouse does not visit the cow.[(triple4)] @1: The lion needs the mouse.[(((triple3) -> rule8))] @2: The lion visits the cow.[(((((triple3) -> rule8)) -> rule7))] @3: The cow visits the lion.[(((((((triple3) -> rule8)) -> rule7)) -> rule2))] @4: The cow is not blue.[(((((((((triple3) -> rule8)) -> rule7)) -> rule2)) -> rule5))]