Anne is blue. Gary is round. Harry is not cold. If something is cold then it is round. All cold things are young. If something is blue and not young then it is red.
Anne is not red.
@0: Anne is blue.[(triple1)] Gary is round.[(triple2)] Harry is not cold.[(triple3)]