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