Anne is green. Anne is young. Charlie is rough. Dave is green. Dave is white. Harry is rough. Harry is white. If someone is white and not round then they are rough. If Anne is not kind then Anne is rough.
Anne is not rough.
@0: Anne is green.[(triple1)] Anne is young.[(triple2)] Charlie is rough.[(triple3)] Dave is green.[(triple4)] Dave is white.[(triple5)] Harry is rough.[(triple6)] Harry is white.[(triple7)]