Anne is white. Gary is quiet. Harry is round. If Harry is quiet and Harry is big then Harry is white.
Harry is not white.
@0: Anne is white.[(triple1)] Gary is quiet.[(triple2)] Harry is round.[(triple3)]