Anne is green. Dave is furry. Harry is nice. If Harry is white then Harry is furry. All cold things are furry. All cold, young things are kind. If something is cold and kind then it is white. All young things are green. If something is green then it is cold. If something is white and cold then it is kind. If something is furry then it is nice.
Dave is not kind.
@0: Anne is green.[(triple1)] Dave is furry.[(triple2)] Harry is nice.[(triple3)] @1: Anne is cold.[(((triple1) -> rule6))] Dave is nice.[(((triple2) -> rule8))] @2: Anne is furry.[(((((triple1) -> rule6)) -> rule2))] @3: Anne is nice.[(((((((triple1) -> rule6)) -> rule2)) -> rule8))]