The cow chases the dog. The cow chases the rabbit. The cow is round. The dog is nice. The dog is not round. The dog sees the cow. The dog visits the cow. The dog visits the rabbit. The rabbit does not chase the cow. The rabbit does not chase the dog. The rabbit is not big. The rabbit is nice. The rabbit sees the cow. The rabbit visits the cow. The rabbit visits the dog. If the dog is kind and the dog chases the rabbit then the rabbit chases the dog. If the dog is nice then the dog sees the rabbit. If someone chases the rabbit then they visit the rabbit. If someone is kind and they chase the rabbit then they are nice. If someone sees the rabbit then they are nice. If someone sees the cow then the cow does not see the rabbit.
The cow is not nice.
@0: The cow chases the dog.[(triple1)] The cow chases the rabbit.[(triple2)] The cow is round.[(triple3)] The dog is nice.[(triple4)] The dog is not round.[(triple5)] The dog sees the cow.[(triple6)] The dog visits the cow.[(triple7)] The dog visits the rabbit.[(triple8)] The rabbit does not chase the cow.[(triple9)] The rabbit does not chase the dog.[(triple10)] The rabbit is nice.[(triple12)] The rabbit is not big.[(triple11)] The rabbit sees the cow.[(triple13)] The rabbit visits the cow.[(triple14)] The rabbit visits the dog.[(triple15)] @1: The cow does not see the rabbit.[(((triple13) -> rule6) OR ((triple6) -> rule6))] The cow visits the rabbit.[(((triple2) -> rule3))] The dog sees the rabbit.[(((triple4) -> rule2))]