The squirrel is cold. The squirrel is nice. The squirrel is round. If someone is nice then they are big. Rough, round people are not big. If the squirrel is big then the squirrel is not rough. Nice people are round. If the squirrel is rough then the squirrel is big. If someone is nice and not round then they are cold.
The squirrel sees the squirrel.
@0: The squirrel is cold.[(triple1)] The squirrel is nice.[(triple2)] The squirrel is round.[(triple3 OR ((triple2) -> rule4))] @1: The squirrel is big.[(((triple2) -> rule1))] @2: The squirrel is not rough.[(((((triple2) -> rule1)) -> rule3))]