The bald eagle likes the dog. The cow chases the bald eagle. The cow chases the dog. The cow is big. The cow is nice. The cow is red. The cow likes the bald eagle. The cow likes the dog. The cow visits the dog. The dog chases the bald eagle. The dog chases the cow. The dog is nice. The dog is rough. The dog visits the bald eagle. The dog visits the cow. If something is big and it chases the bald eagle then the bald eagle is rough. All red things are big. If something likes the cow then the cow visits the dog.
The bald eagle chases the dog.
@0: The bald eagle likes the dog.[(triple1)] The cow chases the bald eagle.[(triple2)] The cow chases the dog.[(triple3)] The cow is big.[(triple4 OR ((triple6) -> rule2))] The cow is nice.[(triple5)] The cow is red.[(triple6)] The cow likes the bald eagle.[(triple7)] The cow likes the dog.[(triple8)] The cow visits the dog.[(triple9)] The dog chases the bald eagle.[(triple10)] The dog chases the cow.[(triple11)] The dog is nice.[(triple12)] The dog is rough.[(triple13)] The dog visits the bald eagle.[(triple14)] The dog visits the cow.[(triple15)] @1: The bald eagle is rough.[(((triple4 triple2) -> rule1) OR ((((triple6) -> rule2) triple2) -> rule1))]