Anne is big. Anne is furry. Anne is nice. Anne is red. Anne is young. Charlie is blue. Charlie is furry. Charlie is kind. Gary is big. Gary is red. Young, blue people are furry. If Gary is furry and Gary is young then Gary is red. Red people are young. All young people are big. Nice people are big. If someone is young then they are red. Young, big people are kind. Red people are furry.
Gary is not nice.