Bob is big. Bob is green. Bob is round. Dave is not green. Dave is not round. Dave is white. Gary is blue. Gary is green. Gary is round. Gary is smart. Gary is young. Harry is not big. Harry is not green. Harry is round. Harry is young. If someone is big and smart then they are young. Round people are white. All young people are smart. All round, white people are young. Young people are blue. If someone is not round and not white then they are young.
Bob is not smart.