Dave is rough. Erin is blue. Erin is furry. Erin is smart. Fiona is blue. Fiona is furry. Fiona is rough. If Dave is blue and Dave is green then Dave is quiet. Furry things are rough. All blue, quiet things are green. If something is green then it is furry. All green things are smart. If Fiona is quiet then Fiona is smart.
Dave is green.