The bald eagle chases the bear. The bald eagle needs the bear. The bald eagle needs the lion. The bald eagle sees the bear. The bear is red. The bear is round. The cat is nice. The cat is not rough. The cat sees the bear. The lion chases the bald eagle. The lion chases the bear. The lion is round. The lion needs the cat. The lion sees the bald eagle. The lion sees the bear. The lion does not see the cat. If someone is nice then they do not need the cat. If someone needs the bear then they are rough. If the lion needs the cat then the cat sees the bald eagle. If someone chases the lion and the lion sees the bald eagle then the bald eagle chases the bear. If someone chases the lion and the lion sees the cat then the lion is round. If someone chases the bald eagle and the bald eagle is rough then they do not need the lion. If the lion sees the bald eagle then the lion is big. If someone is big and they do not need the bear then they chase the lion.
The cat chases the bear.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle needs the bear.[(triple2)] The bald eagle needs the lion.[(triple3)] The bald eagle sees the bear.[(triple4)] The bear is red.[(triple5)] The bear is round.[(triple6)] The cat is nice.[(triple7)] The cat is not rough.[(triple8)] The cat sees the bear.[(triple9)] The lion chases the bald eagle.[(triple10)] The lion chases the bear.[(triple11)] The lion does not see the cat.[(triple16)] The lion is round.[(triple12)] The lion needs the cat.[(triple13)] The lion sees the bald eagle.[(triple14)] The lion sees the bear.[(triple15)] @1: The bald eagle is rough.[(((triple2) -> rule2))] The cat does not need the cat.[(((triple7) -> rule1))] The cat sees the bald eagle.[(((triple13) -> rule3))] The lion is big.[(((triple14) -> rule7))] @2: The lion does not need the lion.[(((triple10 ((triple2) -> rule2)) -> rule6))]