The bald eagle chases the bear. The bald eagle eats the bear. The bald eagle is big. The bald eagle is cold. The bald eagle is nice. The bald eagle is young. The bald eagle needs the bear. The bear chases the bald eagle. The bear eats the bald eagle. The bear is young. If something chases the bald eagle and the bald eagle needs the bear then the bald eagle chases the bear. If something chases the bear then it is cold.
The bald eagle is cold.
@0: The bald eagle chases the bear.[(triple1 OR ((triple8 triple7) -> rule1))] The bald eagle eats the bear.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is cold.[(triple4 OR ((triple1) -> rule2) OR ((((triple8 triple7) -> rule1)) -> rule2))] The bald eagle is nice.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle needs the bear.[(triple7)] The bear chases the bald eagle.[(triple8)] The bear eats the bald eagle.[(triple9)] The bear is young.[(triple10)]