Charlie is round. Gary is not quiet. Gary is rough. Gary is smart. Harry is blue. Harry is red. Harry is round. If someone is quiet then they are smart. If someone is red and not quiet then they are round. All furry, round people are blue. Quiet people are blue. All smart people are red. If someone is furry and not blue then they are rough. If Gary is furry and Gary is not blue then Gary is round. If someone is not round then they are furry.
Charlie is not smart.