Bob is green. Bob is not round. Charlie is not big. Charlie is quiet. Charlie is smart. Dave is rough. Dave is round. Harry is not red. Harry is not rough. Harry is not round. If someone is round and quiet then they are smart. Red people are not round. Quiet, red people are not smart. If Bob is quiet and Bob is red then Bob is rough. If someone is rough then they are big. If someone is red and not smart then they are round. If someone is not smart and not big then they are not rough. If Bob is red and Bob is not round then Bob is green.
Bob is smart.