Bob is round. Harry is not nice. If Harry is round then Harry is not green. If Harry is young then Harry is rough. If something is rough then it is not round. Nice, young things are red. If something is not nice then it is red. Red, green things are not young. Big things are red. If something is round and not rough then it is green.
Bob is nice.