The bald eagle needs the tiger. The lion does not visit the bald eagle. The squirrel is kind. The tiger does not need the squirrel. If something needs the tiger then the tiger is not nice. If the squirrel sees the bald eagle then the squirrel visits the tiger. If something visits the tiger then the tiger sees the squirrel. If something visits the tiger then it is not round. If something visits the lion and it needs the squirrel then the squirrel does not need the tiger. If something needs the squirrel and it is green then it visits the tiger. If the lion does not need the squirrel and the lion is not round then the lion is not kind. If something sees the bald eagle and it does not visit the tiger then the bald eagle visits the squirrel.
The bald eagle needs the tiger.
@0: The bald eagle needs the tiger.[(triple1)] The lion does not visit the bald eagle.[(triple2)] The squirrel is kind.[(triple3)] The tiger does not need the squirrel.[(triple4)] @1: The tiger is not nice.[(((triple1) -> rule1))]