Anne is blue. Anne is furry. Anne is kind. Anne is rough. Anne is not white. Bob is big. Bob is blue. Bob is furry. Bob is kind. Bob is rough. Bob is round. Bob is not white. Dave is big. Dave is blue. Dave is kind. Dave is not rough. All blue, white things are big. If something is white and furry then it is round. If something is rough and not furry then it is not white.
Bob is not blue.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is not white.[(triple5)] Anne is rough.[(triple4)] Bob is big.[(triple6)] Bob is blue.[(triple7)] Bob is furry.[(triple8)] Bob is kind.[(triple9)] Bob is not white.[(triple12)] Bob is rough.[(triple10)] Bob is round.[(triple11)] Dave is big.[(triple13)] Dave is blue.[(triple14)] Dave is kind.[(triple15)] Dave is not rough.[(triple16)]