Bob is round. Charlie is not big. Charlie is rough. Charlie is smart. Harry is not green. Harry is rough. Harry is round. All smart, green people are white. Big people are not round. If someone is round and big then they are green. If someone is white and green then they are rough. All white people are young. If someone is big and not smart then they are green. Rough, smart people are green. If someone is not rough then they are round.
Harry is not big.