Anne is furry. Anne is red. Anne is rough. Charlie is rough. Charlie is round. Gary is big. Gary is red. Gary is rough. Gary is smart. Harry is blue. Harry is furry. Harry is round. Big, round people are blue. If Gary is furry and Gary is smart then Gary is round. All red people are round.
Charlie is rough.