The dog chases the rabbit. The dog eats the rabbit. The dog is cold. The dog is red. The dog is not round. The dog is young. The dog likes the rabbit. The rabbit chases the dog. The rabbit eats the dog. The rabbit is blue. The rabbit is not cold. The rabbit is red. The rabbit is round. The rabbit is not young. The rabbit does not like the dog. If the rabbit is not round then the rabbit eats the dog. If the rabbit likes the dog and the rabbit eats the dog then the dog is cold. If someone eats the dog and they do not like the dog then they eat the rabbit. If someone is round then they chase the rabbit. If someone likes the dog and they do not chase the rabbit then the rabbit is cold. If the rabbit does not eat the dog and the rabbit does not like the dog then the rabbit does not chase the dog.
The rabbit is young.
@0: The dog chases the rabbit.[(triple1)] The dog eats the rabbit.[(triple2)] The dog is cold.[(triple3)] The dog is not round.[(triple5)] The dog is red.[(triple4)] The dog is young.[(triple6)] The dog likes the rabbit.[(triple7)] The rabbit chases the dog.[(triple8)] The rabbit does not like the dog.[(triple15)] The rabbit eats the dog.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is not cold.[(triple11)] The rabbit is not young.[(triple14)] The rabbit is red.[(triple12)] The rabbit is round.[(triple13)] @1: The rabbit chases the rabbit.[(((triple13) -> rule4))] The rabbit eats the rabbit.[(((triple9 triple15) -> rule3))]