The mouse does not like the tiger. The tiger needs the mouse. If someone visits the tiger then the tiger does not like the mouse. If someone needs the mouse then the mouse is not red. If someone needs the mouse then the mouse visits the tiger. If someone visits the mouse then the mouse visits the tiger. If the mouse needs the tiger then the tiger needs the mouse. If someone likes the tiger and the tiger is not round then they do not like the mouse. If the mouse does not visit the tiger then the mouse is round. If the tiger likes the mouse and the tiger does not visit the mouse then the mouse is round.
The tiger likes the mouse.
@0: The mouse does not like the tiger.[(triple1)] The tiger needs the mouse.[(triple2)] @1: The mouse is not red.[(((triple2) -> rule2))] The mouse visits the tiger.[(((triple2) -> rule3))] @2: The tiger does not like the mouse.[(((((triple2) -> rule3)) -> rule1))]