The bald eagle chases the bear. The bald eagle is big. The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle is young. The bald eagle does not need the bear. The bald eagle visits the bear. The bear chases the bald eagle. The bear is big. The bear is blue. The bear is cold. The bear is green. The bear is young. The bear needs the bald eagle. The bear visits the bald eagle. If the bear visits the bald eagle and the bear is cold then the bear chases the bald eagle.
The bear visits the bald eagle.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle does not need the bear.[(triple7)] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is green.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle visits the bear.[(triple8)] The bear chases the bald eagle.[(triple9 OR ((triple16 triple12) -> rule1))] The bear is big.[(triple10)] The bear is blue.[(triple11)] The bear is cold.[(triple12)] The bear is green.[(triple13)] The bear is young.[(triple14)] The bear needs the bald eagle.[(triple15)] The bear visits the bald eagle.[(triple16)]