The squirrel is not blue. The squirrel is kind. The squirrel is round. If the squirrel is round then the squirrel is kind. If something is kind then it is not blue. If something is cold and round then it is rough. If the squirrel is round and the squirrel is cold then the squirrel is rough. Blue, kind things are cold. If something is rough and not blue then it is cold. All kind, blue things are cold. Kind things are cold.
The squirrel is blue.
@0: The squirrel is kind.[(triple2 OR ((triple3) -> rule1))] The squirrel is not blue.[(triple1 OR ((triple2) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] The squirrel is round.[(triple3)] @1: The squirrel is cold.[(((triple2) -> rule8) OR ((((triple3) -> rule1)) -> rule8))] @2: The squirrel is rough.[(((triple3 ((triple2) -> rule8)) -> rule4) OR ((((triple2) -> rule8) triple3) -> rule3) OR ((triple3 ((((triple3) -> rule1)) -> rule8)) -> rule4) OR ((((((triple3) -> rule1)) -> rule8) triple3) -> rule3))]