The dog is cold. The rabbit is nice. If someone eats the dog then the dog likes the rabbit. If someone is cold then they like the dog. If someone is cold then they eat the dog.
The rabbit does not like the dog.
@0: The dog is cold.[(triple1)] The rabbit is nice.[(triple2)] @1: The dog eats the dog.[(((triple1) -> rule3))] The dog likes the dog.[(((triple1) -> rule2))] @2: The dog likes the rabbit.[(((((triple1) -> rule3)) -> rule1))]