Anne is big. Anne is kind. Anne is quiet. Anne is rough. Charlie is green. Charlie is smart. Erin is quiet. Erin is white. Gary is big. Gary is green. Gary is kind. Gary is quiet. Gary is rough. Gary is smart. If Erin is green and Erin is rough then Erin is smart. If Charlie is big then Charlie is white. If something is green and big then it is rough. All quiet, smart things are kind. If something is rough then it is quiet. Green things are big. White, big things are quiet. Quiet things are green. If Anne is big then Anne is kind.
Anne is not kind.