Charlie is not kind. Gary is cold. Gary is kind. All cold things are not green. If something is blue and not cold then it is green.
Charlie is blue.
@0: Charlie is not kind.[(triple1)] Gary is cold.[(triple2)] Gary is kind.[(triple3)] @1: Gary is not green.[(((triple2) -> rule1))]