The cow is cold. The mouse eats the cow. If the cow needs the mouse then the mouse is kind. If someone needs the mouse and the mouse is red then they are big. If someone is kind then they visit the cow. If someone eats the mouse then the mouse is not blue. If someone eats the cow then the cow needs the mouse. If someone is cold then they need the cow. If the mouse is cold and the mouse is not red then the mouse does not need the cow. If the cow visits the mouse and the mouse does not visit the cow then the mouse does not need the cow.
The cow does not need the cow.
@0: The cow is cold.[(triple1)] The mouse eats the cow.[(triple2)] @1: The cow needs the cow.[(((triple1) -> rule6))] The cow needs the mouse.[(((triple2) -> rule5))] @2: The mouse is kind.[(((((triple2) -> rule5)) -> rule1))] @3: The mouse visits the cow.[(((((((triple2) -> rule5)) -> rule1)) -> rule3))]