Dave is big. Dave is green. Dave is not kind. Dave is quiet. Dave is not rough. Dave is smart. Dave is not young. Gary is not big. Gary is not kind. Gary is young. If Gary is not big and Gary is not young then Gary is not smart. If Dave is big and Dave is not smart then Dave is kind. Quiet, young people are rough.
Gary is kind.
@0: Dave is big.[(triple1)] Dave is green.[(triple2)] Dave is not kind.[(triple3)] Dave is not rough.[(triple5)] Dave is not young.[(triple7)] Dave is quiet.[(triple4)] Dave is smart.[(triple6)] Gary is not big.[(triple8)] Gary is not kind.[(triple9)] Gary is young.[(triple10)]