The cow eats the mouse. The mouse visits the cow. If someone visits the cow then the cow visits the mouse. If someone likes the mouse then the mouse eats the cow. If someone is blue and they eat the mouse then they visit the cow. If the mouse visits the cow then the mouse is blue. If someone visits the cow then the cow is cold. If the cow visits the mouse then the cow likes the mouse.
The cow does not like the mouse.
@0: The cow eats the mouse.[(triple1)] The mouse visits the cow.[(triple2)] @1: The cow is cold.[(((triple2) -> rule5))] The cow visits the mouse.[(((triple2) -> rule1))] The mouse is blue.[(((triple2) -> rule4))] @2: The cow likes the mouse.[(((((triple2) -> rule1)) -> rule6))] @3: The mouse eats the cow.[(((((((triple2) -> rule1)) -> rule6)) -> rule2))]