Bob is red. Bob is white. Erin is red. Erin is rough. Erin is smart. Erin is white. Erin is young. Gary is blue. Gary is rough. Gary is not white. Harry is furry. Harry is white. If something is smart and not rough then it is red. If something is red and not rough then it is white. If Bob is not rough then Bob is not furry. All rough things are furry. If something is rough and not red then it is furry. If something is white and not red then it is not blue.
Harry is rough.