The bald eagle is big. The bald eagle is cold. The bald eagle likes the bear. The bald eagle sees the lion. The bear is kind. The bear likes the bald eagle. The bear sees the bald eagle. The bear sees the dog. The dog is not rough. The dog likes the bear. The dog does not like the lion. The dog needs the bear. The dog needs the lion. The lion is rough. The lion likes the bear. If something needs the dog then the dog sees the lion. If the bald eagle likes the lion then the lion needs the dog. If something is cold then it is not rough. If the lion is kind and the lion does not like the bear then the bear sees the dog. If something needs the bear then the bear sees the lion. If something is green and it likes the bald eagle then the bald eagle needs the lion. If something needs the bear and it is not cold then it is kind. If the bear needs the dog and the bear does not see the dog then the dog is kind.
The bear likes the bear.
@0: The bald eagle is big.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle likes the bear.[(triple3)] The bald eagle sees the lion.[(triple4)] The bear is kind.[(triple5)] The bear likes the bald eagle.[(triple6)] The bear sees the bald eagle.[(triple7)] The bear sees the dog.[(triple8)] The dog does not like the lion.[(triple11)] The dog is not rough.[(triple9)] The dog likes the bear.[(triple10)] The dog needs the bear.[(triple12)] The dog needs the lion.[(triple13)] The lion is rough.[(triple14)] The lion likes the bear.[(triple15)] @1: The bald eagle is not rough.[(((triple2) -> rule3))] The bear sees the lion.[(((triple12) -> rule5))]