The bald eagle eats the squirrel. The bald eagle is red. The bald eagle likes the squirrel. The bald eagle likes the tiger. The bear eats the bald eagle. The bear is red. The bear is rough. The squirrel eats the bald eagle. The squirrel is red. The squirrel likes the bear. The squirrel needs the bear. The tiger is kind. The tiger is red. The tiger needs the bald eagle. The tiger needs the squirrel. If someone needs the bear then the bear is blue. If someone eats the tiger and they need the bear then they need the bald eagle. If someone is blue then they like the squirrel. If someone is blue and they like the squirrel then the squirrel is big. If someone is red then they need the bald eagle. If the bald eagle eats the bear and the bald eagle needs the bear then the bald eagle eats the squirrel.
The bear needs the tiger.
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bald eagle likes the tiger.[(triple4)] The bear eats the bald eagle.[(triple5)] The bear is red.[(triple6)] The bear is rough.[(triple7)] The squirrel eats the bald eagle.[(triple8)] The squirrel is red.[(triple9)] The squirrel likes the bear.[(triple10)] The squirrel needs the bear.[(triple11)] The tiger is kind.[(triple12)] The tiger is red.[(triple13)] The tiger needs the bald eagle.[(triple14 OR ((triple13) -> rule5))] The tiger needs the squirrel.[(triple15)] @1: The bald eagle needs the bald eagle.[(((triple2) -> rule5))] The bear is blue.[(((triple11) -> rule1))] The bear needs the bald eagle.[(((triple6) -> rule5))] The squirrel needs the bald eagle.[(((triple9) -> rule5))] @2: The bear likes the squirrel.[(((((triple11) -> rule1)) -> rule3))] @3: The squirrel is big.[(((((triple11) -> rule1) ((((triple11) -> rule1)) -> rule3)) -> rule4))]