The bald eagle is green. The bald eagle likes the bear. The bald eagle likes the tiger. The bald eagle sees the bear. The bear is green. The bear is red. The bear needs the tiger. The bear sees the squirrel. The squirrel is red. The squirrel likes the bald eagle. The squirrel likes the tiger. The squirrel needs the bear. The squirrel sees the bear. The tiger needs the squirrel. The tiger sees the bear. If someone needs the tiger then the tiger needs the bald eagle. If someone needs the bald eagle then they like the bear. If the tiger is red and the tiger likes the bear then the tiger is cold. If someone is big and they need the squirrel then they like the tiger. If someone needs the bald eagle and the bald eagle is kind then they like the squirrel. If someone is cold and they see the tiger then they like the bald eagle. If someone likes the tiger and the tiger likes the bear then the bear sees the bald eagle. If someone likes the squirrel and the squirrel needs the tiger then the tiger is big.
The tiger does not need the bald eagle.
@0: The bald eagle is green.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle sees the bear.[(triple4)] The bear is green.[(triple5)] The bear is red.[(triple6)] The bear needs the tiger.[(triple7)] The bear sees the squirrel.[(triple8)] The squirrel is red.[(triple9)] The squirrel likes the bald eagle.[(triple10)] The squirrel likes the tiger.[(triple11)] The squirrel needs the bear.[(triple12)] The squirrel sees the bear.[(triple13)] The tiger needs the squirrel.[(triple14)] The tiger sees the bear.[(triple15)] @1: The tiger needs the bald eagle.[(((triple7) -> rule1))] @2: The tiger likes the bear.[(((((triple7) -> rule1)) -> rule2))] @3: The bear sees the bald eagle.[(((triple11 ((((triple7) -> rule1)) -> rule2)) -> rule7) OR ((triple3 ((((triple7) -> rule1)) -> rule2)) -> rule7))]