The bald eagle is nice. The bald eagle is red. The bald eagle needs the lion. The bear chases the bald eagle. The bear is rough. The bear needs the bald eagle. The bear visits the lion. The cow is green. The cow is red. The cow is round. The lion chases the bear. The lion is round. The lion needs the bald eagle. The lion needs the cow. The lion visits the cow. If something is green and it visits the bear then it needs the bald eagle. If something needs the bear and the bear needs the bald eagle then the bald eagle chases the bear. If something is nice then it needs the bear.
The bear needs the bald eagle.
@0: The bald eagle is nice.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle needs the lion.[(triple3)] The bear chases the bald eagle.[(triple4)] The bear is rough.[(triple5)] The bear needs the bald eagle.[(triple6)] The bear visits the lion.[(triple7)] The cow is green.[(triple8)] The cow is red.[(triple9)] The cow is round.[(triple10)] The lion chases the bear.[(triple11)] The lion is round.[(triple12)] The lion needs the bald eagle.[(triple13)] The lion needs the cow.[(triple14)] The lion visits the cow.[(triple15)] @1: The bald eagle needs the bear.[(((triple1) -> rule3))] @2: The bald eagle chases the bear.[(((((triple1) -> rule3) triple6) -> rule2))]