Anne is quiet. Anne is rough. Dave is big. Young, quiet people are rough. All rough people are young. Rough, cold people are kind. All kind, quiet people are big. All cold, kind people are young. If Dave is big then Dave is rough. All quiet people are nice. If Dave is kind and Dave is cold then Dave is big.
Anne is not kind.