The bald eagle chases the bear. The bald eagle is big. The bald eagle is not blue. The bald eagle is cold. The bald eagle is green. The bald eagle likes the bear. The bald eagle needs the bear. The bear chases the bald eagle. The bear is blue. The bear is green. The bear does not like the bald eagle. The bear needs the bald eagle. If someone chases the bear then they are big.
The bear is not big.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is big.[(triple2 OR ((triple1) -> rule1))] The bald eagle is cold.[(triple4)] The bald eagle is green.[(triple5)] The bald eagle is not blue.[(triple3)] The bald eagle likes the bear.[(triple6)] The bald eagle needs the bear.[(triple7)] The bear chases the bald eagle.[(triple8)] The bear does not like the bald eagle.[(triple11)] The bear is blue.[(triple9)] The bear is green.[(triple10)] The bear needs the bald eagle.[(triple12)]