The cat is big. The dog needs the cat. If someone visits the cat then the cat does not eat the dog. If someone is green then they need the dog. If someone visits the dog then the dog visits the cat. If someone needs the dog then the dog eats the cat. If someone visits the cat then the cat visits the dog. If the cat is big then the cat visits the dog.
The dog does not need the dog.
@0: The cat is big.[(triple1)] The dog needs the cat.[(triple2)] @1: The cat visits the dog.[(((triple1) -> rule6))] @2: The dog visits the cat.[(((((triple1) -> rule6)) -> rule3))] @3: The cat does not eat the dog.[(((((((triple1) -> rule6)) -> rule3)) -> rule1))]