The cat eats the tiger. The tiger eats the cat. If something is rough then it needs the cat. If something needs the tiger then the tiger likes the cat. If something eats the cat and the cat eats the tiger then it likes the cat. If something likes the cat then the cat needs the tiger. If something eats the tiger then the tiger is big. If something likes the cat and the cat likes the tiger then the tiger eats the cat.
The tiger eats the cat.
@0: The cat eats the tiger.[(triple1)] The tiger eats the cat.[(triple2)] @1: The tiger is big.[(((triple1) -> rule5))] The tiger likes the cat.[(((triple2 triple1) -> rule3))] @2: The cat needs the tiger.[(((((triple2 triple1) -> rule3)) -> rule4))]