Anne is not furry. Anne is white. Bob is not furry. Bob is green. Bob is quiet. Bob is white. Bob is young. Dave is not furry. Dave is nice. Dave is smart. If someone is smart and not nice then they are furry. All nice, young people are not furry.
Bob is not nice.
@0: Anne is not furry.[(triple1)] Anne is white.[(triple2)] Bob is green.[(triple4)] Bob is not furry.[(triple3)] Bob is quiet.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Dave is nice.[(triple9)] Dave is not furry.[(triple8)] Dave is smart.[(triple10)]