The rabbit likes the tiger. The tiger is cold. If something eats the rabbit then it chases the rabbit. If something likes the rabbit and it does not like the tiger then the tiger likes the rabbit. If something is cold then it likes the rabbit. If the tiger chases the rabbit and the tiger is not cold then the rabbit eats the tiger. If something chases the tiger then the tiger does not chase the rabbit. If the tiger likes the rabbit and the rabbit does not chase the tiger then the tiger eats the rabbit. If something chases the tiger and it is blue then it eats the tiger. If something likes the tiger and it chases the tiger then it eats the rabbit.
The rabbit is green.
@0: The rabbit likes the tiger.[(triple1)] The tiger is cold.[(triple2)] @1: The tiger likes the rabbit.[(((triple2) -> rule3))]