The bald eagle visits the lion. The bald eagle visits the mouse. The lion needs the bald eagle. The lion sees the mouse. The lion does not visit the bald eagle. The mouse needs the bald eagle. The mouse sees the lion. If the bald eagle sees the lion then the lion sees the bald eagle. If something needs the mouse then it does not visit the lion. If the lion sees the mouse and the mouse sees the bald eagle then the lion is round.
The lion is not round.
@0: The bald eagle visits the lion.[(triple1)] The bald eagle visits the mouse.[(triple2)] The lion does not visit the bald eagle.[(triple5)] The lion needs the bald eagle.[(triple3)] The lion sees the mouse.[(triple4)] The mouse needs the bald eagle.[(triple6)] The mouse sees the lion.[(triple7)]