The cat is big. The tiger needs the cat. If something needs the cat then the cat likes the tiger. If something is red then it likes the tiger. If something needs the cat then the cat chases the tiger. If the cat is big then the cat is rough. If something chases the tiger and the tiger is rough then the tiger chases the cat. If something is rough and red then it likes the tiger. If something is rough and it needs the tiger then it is nice. If something chases the tiger and the tiger needs the cat then the tiger is nice.
The tiger does not need the cat.
@0: The cat is big.[(triple1)] The tiger needs the cat.[(triple2)] @1: The cat chases the tiger.[(((triple2) -> rule3))] The cat is rough.[(((triple1) -> rule4))] The cat likes the tiger.[(((triple2) -> rule1))] @2: The tiger is nice.[(((((triple2) -> rule3) triple2) -> rule8))]