The squirrel is nice. Nice people are blue. If the squirrel is blue and the squirrel is cold then the squirrel is not big. If the squirrel is cold then the squirrel is nice. If someone is blue and big then they are nice. If someone is blue and cold then they are nice. If the squirrel is blue then the squirrel is cold. Cold, blue people are rough. If someone is big and not cold then they are rough.
The squirrel is big.
@0: The squirrel is nice.[(triple1)] @1: The squirrel is blue.[(((triple1) -> rule1))] @2: The squirrel is cold.[(((((triple1) -> rule1)) -> rule6))] @3: The squirrel is not big.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule6)) -> rule2))] The squirrel is rough.[(((((((triple1) -> rule1)) -> rule6) ((triple1) -> rule1)) -> rule7))]