The dog chases the rabbit. The rabbit is red. The rabbit visits the tiger. The tiger chases the dog. The tiger does not chase the rabbit. The tiger eats the dog. The tiger is not round. If something eats the rabbit and it is red then it is not cold. If the dog eats the rabbit and the dog is round then the dog chases the tiger. If something visits the tiger then it does not eat the tiger. If the rabbit is red and the rabbit does not eat the tiger then the tiger is cold. If something is cold then it does not visit the rabbit. If something visits the rabbit then it chases the rabbit.
The tiger is cold.
@0: The dog chases the rabbit.[(triple1)] The rabbit is red.[(triple2)] The rabbit visits the tiger.[(triple3)] The tiger chases the dog.[(triple4)] The tiger does not chase the rabbit.[(triple5)] The tiger eats the dog.[(triple6)] The tiger is not round.[(triple7)] @1: The rabbit does not eat the tiger.[(((triple3) -> rule3))] @2: The tiger is cold.[(((triple2 ((triple3) -> rule3)) -> rule4))] @3: The tiger does not visit the rabbit.[(((((triple2 ((triple3) -> rule3)) -> rule4)) -> rule5))]