Anne is not green. Dave is big. Harry is kind. If someone is green then they are not cold. If someone is big then they are cold. Red, kind people are cold. If someone is kind and big then they are not young. All young people are not kind. Big people are kind. If someone is green then they are not kind. If Harry is kind then Harry is cold.
Anne is green.
@0: Anne is not green.[(triple1)] Dave is big.[(triple2)] Harry is kind.[(triple3)] @1: Dave is cold.[(((triple2) -> rule2))] Dave is kind.[(((triple2) -> rule6))] Harry is cold.[(((triple3) -> rule8))] @2: Dave is not young.[(((((triple2) -> rule6) triple2) -> rule4))]