The cow chases the dog. The cow likes the dog. The cow likes the rabbit. The cow visits the dog. The dog chases the cow. The dog is kind. The dog is red. The dog likes the rabbit. The dog visits the cow. The dog visits the rabbit. The rabbit chases the dog. The rabbit is cold. The rabbit is kind. The rabbit is rough. The rabbit likes the dog. The rabbit visits the dog. If the cow chases the dog then the dog is cold. If something chases the dog then the dog chases the cow.
The rabbit visits the dog.
@0: The cow chases the dog.[(triple1)] The cow likes the dog.[(triple2)] The cow likes the rabbit.[(triple3)] The cow visits the dog.[(triple4)] The dog chases the cow.[(triple5 OR ((triple1) -> rule2) OR ((triple11) -> rule2))] The dog is kind.[(triple6)] The dog is red.[(triple7)] The dog likes the rabbit.[(triple8)] The dog visits the cow.[(triple9)] The dog visits the rabbit.[(triple10)] The rabbit chases the dog.[(triple11)] The rabbit is cold.[(triple12)] The rabbit is kind.[(triple13)] The rabbit is rough.[(triple14)] The rabbit likes the dog.[(triple15)] The rabbit visits the dog.[(triple16)] @1: The dog is cold.[(((triple1) -> rule1))]