The dog needs the rabbit. The mouse eats the dog. The rabbit eats the dog. If the rabbit is green then the rabbit is red. If something chases the dog then the dog is red. All red things are blue. If the rabbit needs the mouse and the mouse does not need the rabbit then the mouse does not chase the rabbit. If the dog needs the mouse then the mouse does not need the dog. If something chases the mouse then it chases the rabbit. If something eats the mouse and it chases the dog then it is not red. If something needs the rabbit then it chases the dog.
The dog chases the dog.
@0: The dog needs the rabbit.[(triple1)] The mouse eats the dog.[(triple2)] The rabbit eats the dog.[(triple3)] @1: The dog chases the dog.[(((triple1) -> rule8))] @2: The dog is red.[(((((triple1) -> rule8)) -> rule2))] @3: The dog is blue.[(((((((triple1) -> rule8)) -> rule2)) -> rule3))]