The lion eats the tiger. The mouse is rough. The rabbit eats the mouse. The tiger eats the rabbit. If the lion does not like the mouse then the lion likes the rabbit. If the tiger likes the lion then the tiger is rough. If someone eats the tiger then the tiger likes the rabbit. If someone likes the rabbit then the rabbit likes the tiger. If someone likes the mouse then the mouse is not red. If someone likes the rabbit then the rabbit visits the tiger. If someone visits the rabbit and the rabbit visits the mouse then the mouse does not like the tiger. If the rabbit likes the tiger then the tiger likes the lion.
The tiger does not visit the lion.
@0: The lion eats the tiger.[(triple1)] The mouse is rough.[(triple2)] The rabbit eats the mouse.[(triple3)] The tiger eats the rabbit.[(triple4)] @1: The tiger likes the rabbit.[(((triple1) -> rule3))] @2: The rabbit likes the tiger.[(((((triple1) -> rule3)) -> rule4))] The rabbit visits the tiger.[(((((triple1) -> rule3)) -> rule6))] @3: The tiger likes the lion.[(((((((triple1) -> rule3)) -> rule4)) -> rule8))] @4: The tiger is rough.[(((((((((triple1) -> rule3)) -> rule4)) -> rule8)) -> rule2))]