Bob is round. Bob is not smart. Bob is young. Charlie is big. Charlie is rough. Fiona is not big. Fiona is not furry. Fiona is not red. Fiona is smart. Harry is rough. Harry is smart. Harry is young. If Fiona is round then Fiona is smart. Furry things are smart. All rough things are big. All big, young things are not red. If Charlie is young then Charlie is not big. Red things are young. If Bob is rough and Bob is not smart then Bob is not young. If something is round and not big then it is not red.
Harry is smart.