Anne is green. Dave is quiet. Harry is not white. If Dave is not furry then Dave is not smart. If Dave is green then Dave is smart.
Anne is green.
@0: Anne is green.[(triple1)] Dave is quiet.[(triple2)] Harry is not white.[(triple3)]