The cat eats the tiger. The tiger sees the cat. If something sees the cat then the cat is rough. If something eats the cat and it sees the cat then it needs the tiger. If something eats the tiger and it is rough then the tiger eats the cat. If something needs the cat and it needs the tiger then it sees the cat. If something sees the cat and it needs the tiger then the cat is round. If the tiger is round and the tiger sees the cat then the tiger needs the cat. If something sees the tiger then it eats the cat. If something sees the cat then the cat is young.
The cat does not need the tiger.
@0: The cat eats the tiger.[(triple1)] The tiger sees the cat.[(triple2)] @1: The cat is rough.[(((triple2) -> rule1))] The cat is young.[(((triple2) -> rule8))] @2: The tiger eats the cat.[(((triple1 ((triple2) -> rule1)) -> rule3))] @3: The tiger needs the tiger.[(((((triple1 ((triple2) -> rule1)) -> rule3) triple2) -> rule2))] @4: The cat is round.[(((triple2 ((((triple1 ((triple2) -> rule1)) -> rule3) triple2) -> rule2)) -> rule5))]