Anne is big. Anne is cold. Anne is furry. Anne is nice. Anne is quiet. Anne is smart. Anne is young. Erin is big. Erin is quiet. Erin is smart. Erin is young. Gary is cold. Gary is furry. Gary is nice. Gary is smart. Gary is young. All furry, quiet things are smart. If something is furry and cold then it is young. All quiet, smart things are young. If Gary is smart and Gary is furry then Gary is cold. Quiet things are cold. If Erin is quiet and Erin is furry then Erin is nice.
Erin is not nice.