Anne is furry. Anne is green. Bob is not kind. Charlie is furry. Dave is furry. Dave is not green. Dave is not quiet. Red people are not quiet. If Charlie is kind and Charlie is cold then Charlie is not big.
Anne is not furry.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Bob is not kind.[(triple3)] Charlie is furry.[(triple4)] Dave is furry.[(triple5)] Dave is not green.[(triple6)] Dave is not quiet.[(triple7)]