Bob is big. Bob is cold. Bob is quiet. Bob is red. Charlie is nice. Erin is big. Harry is red. Cold things are quiet. If something is red and big then it is furry. All big things are cold. Smart things are furry. All quiet, nice things are smart. All furry things are smart. Nice, red things are not furry. Big, quiet things are red. If Harry is not quiet then Harry is smart.
Charlie is smart.