The cat is nice. The dog eats the cat. If the cat likes the dog then the cat needs the dog. If something is nice then it eats the dog. If something is cold and it does not eat the cat then it does not need the cat. If something is rough then it needs the cat. If something eats the dog and the dog eats the cat then the cat likes the dog. If the cat is cold and the cat needs the dog then the cat is blue. If something is green and it needs the cat then the cat eats the dog. Blue, green things are nice.
The cat does not eat the cat.
@0: The cat is nice.[(triple1)] The dog eats the cat.[(triple2)] @1: The cat eats the dog.[(((triple1) -> rule2))] @2: The cat likes the dog.[(((((triple1) -> rule2) triple2) -> rule5))] @3: The cat needs the dog.[(((((((triple1) -> rule2) triple2) -> rule5)) -> rule1))]