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