Gary is blue. All white, blue people are cold. If someone is blue then they are round. If Gary is white then Gary is not kind.
Gary is not blue.
@0: Gary is blue.[(triple1)] @1: Gary is round.[(((triple1) -> rule2))]