Anne is not furry. Bob is not big. Bob is round. Charlie is blue. Charlie is furry. Dave is blue. Dave is smart. If Anne is blue then Anne is not green. Green, big things are blue. If Anne is not kind then Anne is not round.
Dave is blue.
@0: Anne is not furry.[(triple1)] Bob is not big.[(triple2)] Bob is round.[(triple3)] Charlie is blue.[(triple4)] Charlie is furry.[(triple5)] Dave is blue.[(triple6)] Dave is smart.[(triple7)]