The dog chases the rabbit. The dog eats the rabbit. The dog is not blue. The dog is red. The dog is rough. The dog is round. The dog is young. The dog visits the rabbit. The rabbit chases the dog. The rabbit eats the dog. The rabbit is not blue. The rabbit is red. The rabbit is not rough. The rabbit is round. The rabbit is young. The rabbit visits the dog. If the rabbit chases the dog and the rabbit eats the dog then the dog chases the rabbit. If something visits the rabbit then the rabbit chases the dog. If the rabbit does not chase the dog and the dog does not eat the rabbit then the rabbit visits the dog.
The dog is not red.
@0: The dog chases the rabbit.[(triple1 OR ((triple9 triple10) -> rule1) OR ((((triple8) -> rule2) triple10) -> rule1))] The dog eats the rabbit.[(triple2)] The dog is not blue.[(triple3)] The dog is red.[(triple4)] The dog is rough.[(triple5)] The dog is round.[(triple6)] The dog is young.[(triple7)] The dog visits the rabbit.[(triple8)] The rabbit chases the dog.[(triple9 OR ((triple8) -> rule2))] The rabbit eats the dog.[(triple10)] The rabbit is not blue.[(triple11)] The rabbit is not rough.[(triple13)] The rabbit is red.[(triple12)] The rabbit is round.[(triple14)] The rabbit is young.[(triple15)] The rabbit visits the dog.[(triple16)]