Bob is red. Bob is round. Charlie is not red. Charlie is smart. Fiona is green. Fiona is not nice. Fiona is red. Fiona is not round. Fiona is smart. Fiona is young. If someone is nice and not red then they are not smart. If someone is nice and smart then they are green. All nice, furry people are round. If someone is smart and nice then they are green. If Bob is red then Bob is young. All furry people are not round. All nice people are not round. If someone is nice and not furry then they are not smart.
Charlie is not smart.