Anne is rough. Anne is smart. Anne is white. Anne is young. Bob is nice. Bob is not rough. Bob is not round. Bob is smart. Bob is white. Bob is not young. All white, round people are nice. Smart, furry people are not nice. If Anne is nice and Anne is not smart then Anne is white. If Bob is rough and Bob is not white then Bob is smart. If Anne is nice and Anne is furry then Anne is rough. White, round people are rough.
Anne is furry.
@0: Anne is rough.[(triple1)] Anne is smart.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Bob is nice.[(triple5)] Bob is not rough.[(triple6)] Bob is not round.[(triple7)] Bob is not young.[(triple10)] Bob is smart.[(triple8)] Bob is white.[(triple9)]