The bald eagle is big. The bear needs the squirrel. The mouse needs the squirrel. The squirrel visits the mouse. If the bald eagle is big then the bald eagle is nice. If someone visits the bald eagle and they need the mouse then they need the bear. If someone is nice then they are rough.
The bald eagle is rough.
@0: The bald eagle is big.[(triple1)] The bear needs the squirrel.[(triple2)] The mouse needs the squirrel.[(triple3)] The squirrel visits the mouse.[(triple4)] @1: The bald eagle is nice.[(((triple1) -> rule1))] @2: The bald eagle is rough.[(((((triple1) -> rule1)) -> rule3))]