The bald eagle is nice. The bald eagle is rough. The bald eagle likes the lion. The bald eagle sees the bear. The bald eagle sees the dog. The bear is round. The bear is not young. The dog is nice. The dog is not round. The dog is young. The dog needs the bald eagle. The lion is not round. The lion is not young. The lion sees the bald eagle. The lion sees the bear. If the dog likes the bear and the dog is young then the dog sees the bald eagle. If the bear needs the bald eagle and the bear does not see the bald eagle then the bear needs the dog. If someone is rough and they like the lion then the lion does not need the bald eagle. If someone likes the lion then the lion needs the bear. If someone needs the bald eagle then they see the bear. If someone likes the bear then the bear does not like the bald eagle.
The bald eagle likes the bald eagle.
@0: The bald eagle is nice.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle sees the bear.[(triple4)] The bald eagle sees the dog.[(triple5)] The bear is not young.[(triple7)] The bear is round.[(triple6)] The dog is nice.[(triple8)] The dog is not round.[(triple9)] The dog is young.[(triple10)] The dog needs the bald eagle.[(triple11)] The lion is not round.[(triple12)] The lion is not young.[(triple13)] The lion sees the bald eagle.[(triple14)] The lion sees the bear.[(triple15)] @1: The dog sees the bear.[(((triple11) -> rule5))] The lion does not need the bald eagle.[(((triple2 triple3) -> rule3))] The lion needs the bear.[(((triple3) -> rule4))]