Bob is furry. Charlie is blue. Charlie is green. Charlie is quiet. Charlie is smart. Harry is big. Harry is blue. Harry is furry. Harry is green. Harry is quiet. Harry is smart. Harry is young. If someone is quiet then they are young. If someone is furry and not big then they are blue. If someone is smart and young then they are blue. If someone is young then they are quiet. Green people are smart. If Bob is big and Bob is smart then Bob is not young. If someone is young and not blue then they are not furry. If someone is smart and not young then they are quiet.
Bob is not smart.