Anne is furry. Anne is nice. Anne is smart. Charlie is nice. Gary is big. Gary is furry. Harry is big. Harry is furry. Harry is red. Harry is smart. If someone is nice then they are green. All smart people are furry. If Charlie is green then Charlie is furry. If Gary is smart and Gary is big then Gary is rough. If Charlie is big then Charlie is green. All furry, nice people are red. If Anne is smart then Anne is nice. If someone is green then they are nice.
Charlie is rough.