Anne is big. Anne is not quiet. Anne is red. Anne is rough. Anne is white. Bob is big. Bob is quiet. Bob is not red. Bob is not rough. Bob is smart. Bob is white. Charlie is quiet. Dave is big. Dave is red. Dave is rough. Dave is smart. If something is quiet and not white then it is nice. If Anne is white and Anne is quiet then Anne is not red.
Bob is not nice.
@0: Anne is big.[(triple1)] Anne is not quiet.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is white.[(triple5)] Bob is big.[(triple6)] Bob is not red.[(triple8)] Bob is not rough.[(triple9)] Bob is quiet.[(triple7)] Bob is smart.[(triple10)] Bob is white.[(triple11)] Charlie is quiet.[(triple12)] Dave is big.[(triple13)] Dave is red.[(triple14)] Dave is rough.[(triple15)] Dave is smart.[(triple16)]