Anne is kind. Anne is nice. Anne is quiet. Anne is not white. Charlie is green. Charlie is not kind. Charlie is nice. Charlie is not rough. Charlie is young. Dave is not green. Dave is nice. Dave is white. Dave is young. Gary is nice. Gary is quiet. Gary is not young. If Gary is kind then Gary is not rough. Young, kind things are white. All kind, young things are white. If something is green and rough then it is young. If something is nice and rough then it is quiet. If something is nice and not kind then it is not quiet. Green, quiet things are nice. If something is kind and not rough then it is not nice.
Dave is not quiet.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is not white.[(triple4)] Anne is quiet.[(triple3)] Charlie is green.[(triple5)] Charlie is nice.[(triple7)] Charlie is not kind.[(triple6)] Charlie is not rough.[(triple8)] Charlie is young.[(triple9)] Dave is nice.[(triple11)] Dave is not green.[(triple10)] Dave is white.[(triple12)] Dave is young.[(triple13)] Gary is nice.[(triple14)] Gary is not young.[(triple16)] Gary is quiet.[(triple15)] @1: Charlie is not quiet.[(((triple7 triple6) -> rule6))]