Anne is white. Charlie is not round. Gary is round. Harry is furry. If someone is white and not green then they are not cold. If someone is green and not red then they are cold. If someone is green then they are blue.
Harry is furry.
@0: Anne is white.[(triple1)] Charlie is not round.[(triple2)] Gary is round.[(triple3)] Harry is furry.[(triple4)]