Anne is not big. Anne is blue. Anne is not nice. Anne is white. Charlie is nice. Charlie is white. Dave is big. If Anne is not white then Anne is young. If Charlie is round then Charlie is not rough.
Dave is rough.
@0: Anne is blue.[(triple2)] Anne is not big.[(triple1)] Anne is not nice.[(triple3)] Anne is white.[(triple4)] Charlie is nice.[(triple5)] Charlie is white.[(triple6)] Dave is big.[(triple7)]