The dog is cold. The dog likes the rabbit. The dog sees the rabbit. The rabbit chases the dog. The rabbit is young. The rabbit does not like the dog. The rabbit sees the dog. If the rabbit is red and the rabbit likes the dog then the rabbit chases the dog. If the rabbit chases the dog and the rabbit does not see the dog then the rabbit likes the dog. If the rabbit sees the dog and the rabbit does not like the dog then the dog is green.
The dog likes the rabbit.
@0: The dog is cold.[(triple1)] The dog likes the rabbit.[(triple2)] The dog sees the rabbit.[(triple3)] The rabbit chases the dog.[(triple4)] The rabbit does not like the dog.[(triple6)] The rabbit is young.[(triple5)] The rabbit sees the dog.[(triple7)] @1: The dog is green.[(((triple7 triple6) -> rule3))]