The bald eagle likes the bear. The bald eagle likes the dog. The bald eagle sees the bear. The bear is big. The bear is rough. The bear is round. The dog chases the bald eagle. The dog is cold. The dog likes the bald eagle. The dog sees the bald eagle. If the bear chases the bald eagle and the bald eagle likes the bear then the bear is cold. If someone sees the bald eagle then they are cold.
The bald eagle sees the bear.
@0: The bald eagle likes the bear.[(triple1)] The bald eagle likes the dog.[(triple2)] The bald eagle sees the bear.[(triple3)] The bear is big.[(triple4)] The bear is rough.[(triple5)] The bear is round.[(triple6)] The dog chases the bald eagle.[(triple7)] The dog is cold.[(triple8 OR ((triple10) -> rule2))] The dog likes the bald eagle.[(triple9)] The dog sees the bald eagle.[(triple10)]