The cat sees the dog. The dog sees the cat. If something is big then it sees the cat. If the dog sees the cat then the dog needs the cat. If something is blue then it needs the cat. If something needs the dog and the dog sees the cat then the dog eats the cat. If something eats the dog then it needs the dog. If something sees the cat then the cat eats the dog. If something is blue then it sees the cat. If something sees the cat and it needs the cat then the cat sees the dog.
The cat does not need the dog.
@0: The cat sees the dog.[(triple1 OR ((triple2 ((triple2) -> rule2)) -> rule8))] The dog sees the cat.[(triple2)] @1: The cat eats the dog.[(((triple2) -> rule6))] The dog needs the cat.[(((triple2) -> rule2))] @2: The cat needs the dog.[(((((triple2) -> rule6)) -> rule5))] @3: The dog eats the cat.[(((((((triple2) -> rule6)) -> rule5) triple2) -> rule4))]