Anne is round. Bob is blue. Bob is green. Bob is quiet. Charlie is blue. Charlie is rough. Fiona is red. All green things are red. If something is smart and quiet then it is green. If Anne is green then Anne is round. Rough, smart things are blue. Green things are red. Red, green things are round. Green things are rough. If something is rough and smart then it is quiet. All blue, rough things are smart.
Charlie is red.