Anne is not young. Bob is smart. Fiona is big. If Anne is not smart then Anne is not green. If Fiona is kind and Fiona is not young then Fiona is not smart. If Anne is not smart then Anne is kind. If something is smart and furry then it is not young. If something is furry then it is green. All green, big things are kind. Young, big things are furry. If something is furry and not smart then it is blue.
Bob is not smart.