The squirrel is cold. Big, nice people are cold. Nice people are cold. If the squirrel is cold and the squirrel is big then the squirrel is green. All cold people are big. Cold people are green. If someone is green and nice then they are red. Nice, green people are big. All big people are nice.
The squirrel is red.
@0: The squirrel is cold.[(triple1)] @1: The squirrel is big.[(((triple1) -> rule4))] The squirrel is green.[(((triple1) -> rule5) OR ((triple1 ((triple1) -> rule4)) -> rule3))] @2: The squirrel is nice.[(((((triple1) -> rule4)) -> rule8))] @3: The squirrel is red.[(((((triple1) -> rule5) ((((triple1) -> rule4)) -> rule8)) -> rule6) OR ((((triple1 ((triple1) -> rule4)) -> rule3) ((((triple1) -> rule4)) -> rule8)) -> rule6))]