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