Gary is not blue. Harry is cold. All big, cold things are nice. If Harry is nice then Harry is blue. If Gary is red then Gary is cold. If something is big and not red then it is not cold. All rough, nice things are quiet. If something is blue and not cold then it is rough.
Harry is big.
@0: Gary is not blue.[(triple1)] Harry is cold.[(triple2)]