The bald eagle is kind. The squirrel eats the bald eagle. The squirrel eats the tiger. The squirrel is rough. The squirrel likes the bald eagle. The squirrel likes the tiger. The squirrel needs the bald eagle. The tiger eats the squirrel. The tiger is blue. The tiger needs the squirrel. If something is rough and it eats the tiger then the tiger eats the bald eagle. If something likes the tiger and the tiger needs the bald eagle then the tiger does not eat the bald eagle. If something is young then it likes the bald eagle. If something likes the squirrel then it is not kind. If something likes the bald eagle then it does not need the tiger. If something needs the tiger and it is not young then it eats the squirrel. If something likes the tiger and it likes the bald eagle then the bald eagle is not blue. If the squirrel is rough and the squirrel is not kind then the squirrel does not eat the bald eagle.
The bald eagle is not kind.
@0: The bald eagle is kind.[(triple1)] The squirrel eats the bald eagle.[(triple2)] The squirrel eats the tiger.[(triple3)] The squirrel is rough.[(triple4)] The squirrel likes the bald eagle.[(triple5)] The squirrel likes the tiger.[(triple6)] The squirrel needs the bald eagle.[(triple7)] The tiger eats the squirrel.[(triple8)] The tiger is blue.[(triple9)] The tiger needs the squirrel.[(triple10)] @1: The bald eagle is not blue.[(((triple6 triple5) -> rule7))] The squirrel does not need the tiger.[(((triple5) -> rule5))] The tiger eats the bald eagle.[(((triple4 triple3) -> rule1))]