The bald eagle is cold. The bald eagle is green. The bald eagle is round. The bald eagle visits the bear. The bald eagle visits the lion. The bear likes the bald eagle. The bear likes the lion. The bear needs the lion. The bear visits the bald eagle. The bear visits the lion. The lion is blue. The lion is round. The lion likes the bear. The lion needs the bald eagle. The lion visits the bald eagle. If the bald eagle needs the bear then the bear needs the bald eagle. If something likes the lion then the lion needs the bear. If something is round then it needs the bear.
The bear does not need the lion.
@0: The bald eagle is cold.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle visits the bear.[(triple4)] The bald eagle visits the lion.[(triple5)] The bear likes the bald eagle.[(triple6)] The bear likes the lion.[(triple7)] The bear needs the lion.[(triple8)] The bear visits the bald eagle.[(triple9)] The bear visits the lion.[(triple10)] The lion is blue.[(triple11)] The lion is round.[(triple12)] The lion likes the bear.[(triple13)] The lion needs the bald eagle.[(triple14)] The lion visits the bald eagle.[(triple15)] @1: The bald eagle needs the bear.[(((triple3) -> rule3))] The lion needs the bear.[(((triple12) -> rule3) OR ((triple7) -> rule2))] @2: The bear needs the bald eagle.[(((((triple3) -> rule3)) -> rule1))]