Anne is furry. Anne is smart. Anne is white. Dave is not green. Dave is quiet. Dave is smart. Dave is white. Quiet, round things are furry. If something is nice then it is not green.
Dave is not smart.
@0: Anne is furry.[(triple1)] Anne is smart.[(triple2)] Anne is white.[(triple3)] Dave is not green.[(triple4)] Dave is quiet.[(triple5)] Dave is smart.[(triple6)] Dave is white.[(triple7)]