Anne is not big. Anne is kind. Anne is not quiet. Anne is not red. Anne is white. Dave is big. Dave is not quiet. Dave is round. Dave is white. Dave is young. Gary is big. Gary is not kind. Gary is not quiet. Gary is red. Gary is round. If Anne is quiet and Anne is not round then Anne is not young. All kind, young people are not quiet. Young people are not kind.
Dave is not red.
@0: Anne is kind.[(triple2)] Anne is not big.[(triple1)] Anne is not quiet.[(triple3)] Anne is not red.[(triple4)] Anne is white.[(triple5)] Dave is big.[(triple6)] Dave is not quiet.[(triple7)] Dave is round.[(triple8)] Dave is white.[(triple9)] Dave is young.[(triple10)] Gary is big.[(triple11)] Gary is not kind.[(triple12)] Gary is not quiet.[(triple13)] Gary is red.[(triple14)] Gary is round.[(triple15)] @1: Dave is not kind.[(((triple10) -> rule3))]