The bald eagle is big. The bald eagle is young. The bear chases the squirrel. The bear eats the bald eagle. The bear is big. The bear is rough. The squirrel eats the bald eagle. The squirrel is big. The squirrel is cold. The squirrel is nice. The squirrel needs the bald eagle. The squirrel needs the bear. If someone is rough then they chase the bear. If someone needs the bald eagle then the bald eagle eats the squirrel. If someone eats the bald eagle then the bald eagle needs the squirrel. If the bald eagle eats the bear then the bear needs the squirrel. If someone eats the squirrel then they are rough. If someone is big then they chase the squirrel.
The bald eagle is rough.
@0: The bald eagle is big.[(triple1)] The bald eagle is young.[(triple2)] The bear chases the squirrel.[(triple3 OR ((triple5) -> rule6))] The bear eats the bald eagle.[(triple4)] The bear is big.[(triple5)] The bear is rough.[(triple6)] The squirrel eats the bald eagle.[(triple7)] The squirrel is big.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is nice.[(triple10)] The squirrel needs the bald eagle.[(triple11)] The squirrel needs the bear.[(triple12)] @1: The bald eagle chases the squirrel.[(((triple1) -> rule6))] The bald eagle eats the squirrel.[(((triple11) -> rule2))] The bald eagle needs the squirrel.[(((triple4) -> rule3) OR ((triple7) -> rule3))] The bear chases the bear.[(((triple6) -> rule1))] The squirrel chases the squirrel.[(((triple8) -> rule6))] @2: The bald eagle is rough.[(((((triple11) -> rule2)) -> rule5))] @3: The bald eagle chases the bear.[(((((((triple11) -> rule2)) -> rule5)) -> rule1))]