The cow visits the tiger. The mouse is blue. The tiger visits the cow. If something likes the cow and the cow needs the mouse then the mouse visits the tiger. If something is nice then it needs the cow. If something is nice then it visits the tiger. If something visits the tiger then the tiger visits the mouse. If something visits the mouse then it likes the mouse. If something visits the cow and it is big then it likes the cow. If something visits the mouse then it is nice. If something needs the cow and it is big then it needs the tiger.
The tiger is not rough.
@0: The cow visits the tiger.[(triple1)] The mouse is blue.[(triple2)] The tiger visits the cow.[(triple3)] @1: The tiger visits the mouse.[(((triple1) -> rule4))] @2: The tiger is nice.[(((((triple1) -> rule4)) -> rule7))] The tiger likes the mouse.[(((((triple1) -> rule4)) -> rule5))] @3: The tiger needs the cow.[(((((((triple1) -> rule4)) -> rule7)) -> rule2))] The tiger visits the tiger.[(((((((triple1) -> rule4)) -> rule7)) -> rule3))]