Anne is kind. All green, kind things are rough. All red, green things are not kind. If something is rough and big then it is red. All kind things are red. If Anne is red then Anne is big. If Anne is big then Anne is not cold. If something is smart then it is not cold. Green things are cold.
Anne is red.
@0: Anne is kind.[(triple1)] @1: Anne is red.[(((triple1) -> rule4))] @2: Anne is big.[(((((triple1) -> rule4)) -> rule5))] @3: Anne is not cold.[(((((((triple1) -> rule4)) -> rule5)) -> rule6))]