The cat likes the tiger. The dog is big. The rabbit is green. The tiger is big. If something is cold and it eats the rabbit then it likes the cat. If something chases the dog then it chases the tiger. If something eats the tiger and the tiger chases the dog then it is big. If something is green then it chases the dog. If something chases the tiger then it eats the cat. If the rabbit chases the cat then the rabbit is big. If something likes the cat then it likes the rabbit. If something chases the tiger then the tiger is cold.
The rabbit does not chase the tiger.
@0: The cat likes the tiger.[(triple1)] The dog is big.[(triple2)] The rabbit is green.[(triple3)] The tiger is big.[(triple4)] @1: The rabbit chases the dog.[(((triple3) -> rule4))] @2: The rabbit chases the tiger.[(((((triple3) -> rule4)) -> rule2))] @3: The rabbit eats the cat.[(((((((triple3) -> rule4)) -> rule2)) -> rule5))] The tiger is cold.[(((((((triple3) -> rule4)) -> rule2)) -> rule8))]