Anne is kind. Charlie is big. Charlie is smart. Dave is kind. Dave is smart. Erin is nice. Erin is quiet. If Anne is big then Anne is kind. All smart things are quiet. Cold, quiet things are nice.
Anne is not nice.