The squirrel is cold. The squirrel is red. The squirrel is round. If someone is red then they are cold. Round, kind people are green. Red people are kind. If someone is round and cold then they are red. Cold people are round. If the squirrel is red and the squirrel is not cold then the squirrel is green.
The squirrel is not kind.
@0: The squirrel is cold.[(triple1 OR ((triple2) -> rule1))] The squirrel is red.[(triple2 OR ((triple3 triple1) -> rule4) OR ((((triple1) -> rule5) triple1) -> rule4))] The squirrel is round.[(triple3 OR ((triple1) -> rule5) OR ((((triple2) -> rule1)) -> rule5))] @1: The squirrel is kind.[(((triple2) -> rule3) OR ((((triple3 triple1) -> rule4)) -> rule3) OR ((((((triple1) -> rule5) triple1) -> rule4)) -> rule3))] @2: The squirrel is green.[(((triple3 ((triple2) -> rule3)) -> rule2) OR ((((triple1) -> rule5) ((triple2) -> rule3)) -> rule2) OR ((triple3 ((((triple3 triple1) -> rule4)) -> rule3)) -> rule2) OR ((((triple1) -> rule5) ((((triple3 triple1) -> rule4)) -> rule3)) -> rule2) OR ((((((triple2) -> rule1)) -> rule5) ((triple2) -> rule3)) -> rule2) OR ((((((triple2) -> rule1)) -> rule5) ((((triple3 triple1) -> rule4)) -> rule3)) -> rule2) OR ((triple3 ((((((triple1) -> rule5) triple1) -> rule4)) -> rule3)) -> rule2) OR ((((triple1) -> rule5) ((((((triple1) -> rule5) triple1) -> rule4)) -> rule3)) -> rule2) OR ((((((triple2) -> rule1)) -> rule5) ((((((triple1) -> rule5) triple1) -> rule4)) -> rule3)) -> rule2))]