Bob is not smart. Charlie is smart. Fiona is cold. Fiona is rough. Fiona is smart. Gary is cold. Gary is green. All green, red things are round. All red, cold things are rough. If something is cold and not smart then it is not furry. Smart things are furry. All round, rough things are green. If something is red and round then it is cold. All red things are round. If Fiona is cold and Fiona is furry then Fiona is round. If something is not furry then it is red.
Bob is green.