The bald eagle is not big. The bald eagle is kind. The dog is cold. The dog is kind. The dog needs the squirrel. The lion chases the bald eagle. The lion chases the dog. The lion is kind. The lion is nice. The lion needs the squirrel. The lion visits the bald eagle. The lion visits the dog. The squirrel is not big. The squirrel is kind. The squirrel is nice. The squirrel visits the bald eagle. If something chases the squirrel and the squirrel is big then the squirrel is not cold. If something visits the dog then it visits the squirrel. If something is kind and it chases the squirrel then the squirrel does not need the lion. If something visits the dog and it chases the bald eagle then the bald eagle chases the squirrel. If something chases the squirrel and the squirrel is green then it visits the lion. If the lion does not visit the squirrel then the squirrel chases the lion.
The squirrel does not need the lion.
@0: The bald eagle is kind.[(triple2)] The bald eagle is not big.[(triple1)] The dog is cold.[(triple3)] The dog is kind.[(triple4)] The dog needs the squirrel.[(triple5)] The lion chases the bald eagle.[(triple6)] The lion chases the dog.[(triple7)] The lion is kind.[(triple8)] The lion is nice.[(triple9)] The lion needs the squirrel.[(triple10)] The lion visits the bald eagle.[(triple11)] The lion visits the dog.[(triple12)] The squirrel is kind.[(triple14)] The squirrel is nice.[(triple15)] The squirrel is not big.[(triple13)] The squirrel visits the bald eagle.[(triple16)] @1: The bald eagle chases the squirrel.[(((triple12 triple6) -> rule4))] The lion visits the squirrel.[(((triple12) -> rule2))] @2: The squirrel does not need the lion.[(((triple2 ((triple12 triple6) -> rule4)) -> rule3))]