The cow chases the dog. The cow chases the rabbit. The cow is green. The cow is red. The cow is round. The cow likes the rabbit. The cow visits the dog. The dog chases the cow. The dog chases the rabbit. The dog is big. The dog likes the cow. The dog visits the rabbit. The rabbit chases the dog. The rabbit is nice. The rabbit is round. If someone is big then they visit the dog. If someone likes the dog then they visit the cow.
The rabbit is not nice.
@0: The cow chases the dog.[(triple1)] The cow chases the rabbit.[(triple2)] The cow is green.[(triple3)] The cow is red.[(triple4)] The cow is round.[(triple5)] The cow likes the rabbit.[(triple6)] The cow visits the dog.[(triple7)] The dog chases the cow.[(triple8)] The dog chases the rabbit.[(triple9)] The dog is big.[(triple10)] The dog likes the cow.[(triple11)] The dog visits the rabbit.[(triple12)] The rabbit chases the dog.[(triple13)] The rabbit is nice.[(triple14)] The rabbit is round.[(triple15)] @1: The dog visits the dog.[(((triple10) -> rule1))]