Anne is green. Anne is not red. Anne is round. Anne is white. Harry is green. Harry is round. Harry is white. If Anne is red then Anne is cold.
Anne is not cold.
@0: Anne is green.[(triple1)] Anne is not red.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Harry is green.[(triple5)] Harry is round.[(triple6)] Harry is white.[(triple7)]