The cat eats the dog. The cat needs the dog. The dog does not eat the cat. If something eats the cat then the cat eats the dog. If something eats the dog then it visits the cat. If something visits the dog and it is blue then it visits the cat. All blue things are not green. If the cat eats the dog then the cat is green. If something is blue and it needs the dog then the dog needs the cat. If something eats the dog and it is green then it is cold. If the dog does not need the cat then the dog is cold.
The dog eats the cat.
@0: The cat eats the dog.[(triple1)] The cat needs the dog.[(triple2)] The dog does not eat the cat.[(triple3)] @1: The cat is green.[(((triple1) -> rule5))] The cat visits the cat.[(((triple1) -> rule2))] @2: The cat is cold.[(((triple1 ((triple1) -> rule5)) -> rule7))]