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 not kind.
@0: Charlie is not kind.[(triple1)] Gary is cold.[(triple2)] Gary is kind.[(triple3)] @1: Gary is not green.[(((triple2) -> rule1))]