The bald eagle chases the cow. The bald eagle is big. The bald eagle is kind. The bald eagle is red. The bald eagle is rough. The bald eagle is young. The bald eagle likes the cow. The bald eagle sees the cow. The cow chases the bald eagle. The cow is big. The cow is kind. The cow is red. The cow is rough. The cow is young. The cow does not like the bald eagle. The cow does not see the bald eagle. If the bald eagle chases the cow and the cow chases the bald eagle then the bald eagle sees the cow. If the cow sees the bald eagle and the bald eagle does not chase the cow then the cow is not big. If someone chases the bald eagle then the bald eagle likes the cow.
The cow chases the bald eagle.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle likes the cow.[(triple7 OR ((triple9) -> rule3))] The bald eagle sees the cow.[(triple8 OR ((triple1 triple9) -> rule1))] The cow chases the bald eagle.[(triple9)] The cow does not like the bald eagle.[(triple15)] The cow does not see the bald eagle.[(triple16)] The cow is big.[(triple10)] The cow is kind.[(triple11)] The cow is red.[(triple12)] The cow is rough.[(triple13)] The cow is young.[(triple14)]