The dog chases the rabbit. The dog is big. The dog is blue. The dog is red. The dog is round. The dog is young. The dog likes the rabbit. The dog needs the rabbit. The rabbit chases the dog. The rabbit is big. The rabbit is blue. The rabbit is red. The rabbit is young. The rabbit likes the dog. The rabbit needs the dog. If the rabbit is blue then the rabbit needs the dog. If the rabbit likes the dog and the dog likes the rabbit then the rabbit chases the dog. If something needs the rabbit then it needs the dog. If something chases the rabbit and it likes the rabbit then the rabbit needs the dog. If something is blue and it likes the rabbit then the rabbit needs the dog. If something chases the rabbit and the rabbit is blue then it chases the dog. If something is young and it likes the rabbit then it is big. If something is big then it needs the rabbit.
The dog does not like the dog.
@0: The dog chases the rabbit.[(triple1)] The dog is big.[(triple2 OR ((triple6 triple7) -> rule7))] The dog is blue.[(triple3)] The dog is red.[(triple4)] The dog is round.[(triple5)] The dog is young.[(triple6)] The dog likes the rabbit.[(triple7)] The dog needs the rabbit.[(triple8 OR ((triple2) -> rule8) OR ((((triple6 triple7) -> rule7)) -> rule8))] The rabbit chases the dog.[(triple9 OR ((triple14 triple7) -> rule2))] The rabbit is big.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is red.[(triple12)] The rabbit is young.[(triple13)] The rabbit likes the dog.[(triple14)] The rabbit needs the dog.[(triple15 OR ((triple11) -> rule1) OR ((triple1 triple7) -> rule4) OR ((triple3 triple7) -> rule5) OR ((((triple10) -> rule8)) -> rule3))] @1: The dog chases the dog.[(((triple1 triple11) -> rule6))] The dog needs the dog.[(((triple8) -> rule3) OR ((((triple2) -> rule8)) -> rule3) OR ((((((triple6 triple7) -> rule7)) -> rule8)) -> rule3))] The rabbit needs the rabbit.[(((triple10) -> rule8))]