The bald eagle chases the cow. The bald eagle is nice. The bald eagle is red. The bald eagle visits the bear. The bear chases the bald eagle. The bear chases the cow. The bear eats the bald eagle. The bear is cold. The bear is nice. The bear is red. The bear visits the cow. The cow chases the bald eagle. The cow chases the bear. The cow eats the bear. The cow is cold. If someone chases the cow and the cow is cold then the cow eats the bear. If someone visits the cow and the cow chases the bear then they chase the cow.
The cow does not chase the cow.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle visits the bear.[(triple4)] The bear chases the bald eagle.[(triple5)] The bear chases the cow.[(triple6 OR ((triple11 triple13) -> rule2))] The bear eats the bald eagle.[(triple7)] The bear is cold.[(triple8)] The bear is nice.[(triple9)] The bear is red.[(triple10)] The bear visits the cow.[(triple11)] The cow chases the bald eagle.[(triple12)] The cow chases the bear.[(triple13)] The cow eats the bear.[(triple14 OR ((triple1 triple15) -> rule1) OR ((triple6 triple15) -> rule1) OR ((((triple11 triple13) -> rule2) triple15) -> rule1))] The cow is cold.[(triple15)]