The bald eagle is big. The bald eagle is red. The bald eagle needs the lion. The lion is not red. The lion is rough. The lion needs the bald eagle. The lion visits the bald eagle. If something needs the bald eagle and it visits the bald eagle then the bald eagle visits the lion. If something likes the bald eagle and it likes the lion then it needs the lion.
The lion is not red.
@0: The bald eagle is big.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle needs the lion.[(triple3)] The lion is not red.[(triple4)] The lion is rough.[(triple5)] The lion needs the bald eagle.[(triple6)] The lion visits the bald eagle.[(triple7)] @1: The bald eagle visits the lion.[(((triple6 triple7) -> rule1))]