The cow does not eat the tiger. The mouse visits the cow. The tiger is nice. If something sees the tiger and it is round then the tiger eats the cow. If the cow sees the tiger then the tiger visits the cow. If something sees the cow and it does not see the tiger then it sees the mouse. If something is red then it visits the tiger. If the tiger is not nice and the tiger does not see the mouse then the mouse visits the cow. If the mouse visits the cow then the mouse is red.
The mouse visits the tiger.
@0: The cow does not eat the tiger.[(triple1)] The mouse visits the cow.[(triple2)] The tiger is nice.[(triple3)] @1: The mouse is red.[(((triple2) -> rule6))] @2: The mouse visits the tiger.[(((((triple2) -> rule6)) -> rule4))]