The bald eagle sees the lion. The bald eagle does not see the squirrel. The lion is cold. The lion does not need the mouse. The lion needs the squirrel. The lion sees the bald eagle. The mouse eats the lion. The mouse is cold. The mouse is red. The mouse is rough. The squirrel does not eat the bald eagle. The squirrel eats the lion. The squirrel is big. The squirrel is red. The squirrel is round. The squirrel does not need the mouse. If something sees the bald eagle and the bald eagle does not see the squirrel then the squirrel does not need the bald eagle. If the mouse does not eat the bald eagle then the mouse needs the squirrel.
The squirrel does not need the bald eagle.
@0: The bald eagle does not see the squirrel.[(triple2)] The bald eagle sees the lion.[(triple1)] The lion does not need the mouse.[(triple4)] The lion is cold.[(triple3)] The lion needs the squirrel.[(triple5)] The lion sees the bald eagle.[(triple6)] The mouse eats the lion.[(triple7)] The mouse is cold.[(triple8)] The mouse is red.[(triple9)] The mouse is rough.[(triple10)] The squirrel does not eat the bald eagle.[(triple11)] The squirrel does not need the mouse.[(triple16)] The squirrel eats the lion.[(triple12)] The squirrel is big.[(triple13)] The squirrel is red.[(triple14)] The squirrel is round.[(triple15)] @1: The squirrel does not need the bald eagle.[(((triple6 triple2) -> rule1))]