Charlie is green. Dave is green. Gary is nice. Harry is not cold. If Harry is green then Harry is nice. All nice, red people are not furry. Cold people are red. Nice people are cold. Red people are cold. If Charlie is not nice and Charlie is not green then Charlie is cold.
Charlie is cold.
@0: Charlie is green.[(triple1)] Dave is green.[(triple2)] Gary is nice.[(triple3)] Harry is not cold.[(triple4)] @1: Gary is cold.[(((triple3) -> rule4))] @2: Gary is red.[(((((triple3) -> rule4)) -> rule3))] @3: Gary is not furry.[(((triple3 ((((triple3) -> rule4)) -> rule3)) -> rule2))]