The bald eagle eats the bear. The bald eagle eats the cow. The bald eagle is green. The bald eagle is nice. The bald eagle likes the bear. The bear eats the bald eagle. The bear eats the cow. The bear is big. The bear is kind. The bear likes the bald eagle. The bear likes the cow. The cow eats the bear. The cow is kind. The cow is rough. The cow visits the bald eagle. The cow visits the bear. If something eats the bear then the bear likes the bald eagle. If something likes the bald eagle and the bald eagle is rough then the bald eagle visits the bear.
The bald eagle visits the bald eagle.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the cow.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle likes the bear.[(triple5)] The bear eats the bald eagle.[(triple6)] The bear eats the cow.[(triple7)] The bear is big.[(triple8)] The bear is kind.[(triple9)] The bear likes the bald eagle.[(triple10 OR ((triple1) -> rule1) OR ((triple12) -> rule1))] The bear likes the cow.[(triple11)] The cow eats the bear.[(triple12)] The cow is kind.[(triple13)] The cow is rough.[(triple14)] The cow visits the bald eagle.[(triple15)] The cow visits the bear.[(triple16)]