Anne is not blue. Charlie is furry. Dave is round. Harry is blue. If Anne is big then Anne is round.
Charlie is blue.
@0: Anne is not blue.[(triple1)] Charlie is furry.[(triple2)] Dave is round.[(triple3)] Harry is blue.[(triple4)]