The dog chases the rabbit. The dog eats the rabbit. The dog is blue. The dog is cold. The dog is not red. The dog is round. The dog does not need the rabbit. The rabbit chases the dog. The rabbit eats the dog. The rabbit is not blue. The rabbit is cold. The rabbit is not nice. The rabbit is not red. The rabbit is round. The rabbit needs the dog. If someone is nice then they chase the dog. If the rabbit chases the dog and the dog does not need the rabbit then the dog is nice. If the rabbit does not chase the dog then the rabbit is not red.
The dog does not eat the dog.
@0: The dog chases the rabbit.[(triple1)] The dog does not need the rabbit.[(triple7)] The dog eats the rabbit.[(triple2)] The dog is blue.[(triple3)] The dog is cold.[(triple4)] The dog is not red.[(triple5)] The dog is round.[(triple6)] The rabbit chases the dog.[(triple8)] The rabbit eats the dog.[(triple9)] The rabbit is cold.[(triple11)] The rabbit is not blue.[(triple10)] The rabbit is not nice.[(triple12)] The rabbit is not red.[(triple13)] The rabbit is round.[(triple14)] The rabbit needs the dog.[(triple15)] @1: The dog is nice.[(((triple8 triple7) -> rule2))] @2: The dog chases the dog.[(((((triple8 triple7) -> rule2)) -> rule1))]