The dog chases the rabbit. The rabbit eats the tiger. The tiger is green. If something eats the dog and the dog chases the rabbit then it likes the tiger. If something eats the dog and the dog is nice then the dog is green. If something chases the rabbit then the rabbit is blue. If something likes the dog and it likes the rabbit then the dog is blue. If something is blue then it is cold. If something chases the tiger then the tiger is blue. If something is big then it likes the tiger. If something is cold and blue then it chases the tiger.
The rabbit is not blue.
@0: The dog chases the rabbit.[(triple1)] The rabbit eats the tiger.[(triple2)] The tiger is green.[(triple3)] @1: The rabbit is blue.[(((triple1) -> rule3))] @2: The rabbit is cold.[(((((triple1) -> rule3)) -> rule5))] @3: The rabbit chases the tiger.[(((((((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule8))] @4: The tiger is blue.[(((((((((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule8)) -> rule6))] @5: The tiger is cold.[(((((((((((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule8)) -> rule6)) -> rule5))] @6: The tiger chases the tiger.[(((((((((((((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule8)) -> rule6)) -> rule5) ((((((((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule8)) -> rule6)) -> rule8))]