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