Anne is not big. Anne is blue. Anne is rough. Anne is round. Anne is not young. Bob is not blue. Bob is green. Bob is rough. Bob is round. Bob is white. Bob is young. Dave is big. Dave is blue. Dave is green. Dave is white. Dave is young. If someone is blue and not green then they are not rough.
Dave is big.
@0: Anne is blue.[(triple2)] Anne is not big.[(triple1)] Anne is not young.[(triple5)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Bob is green.[(triple7)] Bob is not blue.[(triple6)] Bob is rough.[(triple8)] Bob is round.[(triple9)] Bob is white.[(triple10)] Bob is young.[(triple11)] Dave is big.[(triple12)] Dave is blue.[(triple13)] Dave is green.[(triple14)] Dave is white.[(triple15)] Dave is young.[(triple16)]