The squirrel is big. Big, cold people are blue. Big people are green. If the squirrel is nice and the squirrel is big then the squirrel is cold. If the squirrel is green and the squirrel is blue then the squirrel is nice. If someone is nice then they are big. Big people are blue. If someone is green and nice then they are big. If someone is nice and big then they are green.
The squirrel is not big.
@0: The squirrel is big.[(triple1)] @1: The squirrel is blue.[(((triple1) -> rule6))] The squirrel is green.[(((triple1) -> rule2))] @2: The squirrel is nice.[(((((triple1) -> rule2) ((triple1) -> rule6)) -> rule4))] @3: The squirrel is cold.[(((((((triple1) -> rule2) ((triple1) -> rule6)) -> rule4) triple1) -> rule3))]