Anne is big. Anne is green. Anne is smart. Bob is big. Charlie is kind. Charlie is round. Harry is kind. If Harry is kind then Harry is cold. If Charlie is blue then Charlie is not green. If Bob is kind and Bob is big then Bob is smart. If someone is not green then they are big. Green people are blue. Big people are cold. If someone is cold and big then they are smart. All smart people are blue. All green, kind people are not smart.
Charlie is smart.