The bald eagle is big. The bald eagle is green. The bald eagle is kind. The bald eagle sees the rabbit. The bear chases the squirrel. The bear is green. The bear is kind. The bear is round. The bear needs the rabbit. The bear sees the bald eagle. The bear sees the rabbit. The rabbit chases the squirrel. The rabbit needs the bald eagle. The rabbit needs the squirrel. The squirrel is round. The squirrel sees the bald eagle. If the bear sees the squirrel then the squirrel needs the bear. If the squirrel is big and the squirrel is kind then the squirrel needs the rabbit. If someone is green then they are round. If someone needs the rabbit then they see the squirrel. If the squirrel needs the bear and the squirrel sees the bald eagle then the bear is blue. If someone is big then they chase the squirrel.
The squirrel needs the bear.
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle sees the rabbit.[(triple4)] The bear chases the squirrel.[(triple5)] The bear is green.[(triple6)] The bear is kind.[(triple7)] The bear is round.[(triple8 OR ((triple6) -> rule3))] The bear needs the rabbit.[(triple9)] The bear sees the bald eagle.[(triple10)] The bear sees the rabbit.[(triple11)] The rabbit chases the squirrel.[(triple12)] The rabbit needs the bald eagle.[(triple13)] The rabbit needs the squirrel.[(triple14)] The squirrel is round.[(triple15)] The squirrel sees the bald eagle.[(triple16)] @1: The bald eagle chases the squirrel.[(((triple1) -> rule6))] The bald eagle is round.[(((triple2) -> rule3))] The bear sees the squirrel.[(((triple9) -> rule4))] @2: The squirrel needs the bear.[(((((triple9) -> rule4)) -> rule1))] @3: The bear is blue.[(((((((triple9) -> rule4)) -> rule1) triple16) -> rule5))]