Anne is big. Anne is cold. Anne is quiet. Anne is smart. Gary is big. Gary is cold. Gary is furry. Gary is nice. Gary is quiet. Gary is red. Harry is cold. Harry is nice. Furry, big things are quiet. All nice things are big. Cold, quiet things are red. If something is cold and red then it is nice. Furry things are red. If Anne is smart then Anne is quiet.
Anne is not nice.