Anne is blue. Charlie is white. Blue people are kind. If Charlie is blue then Charlie is nice. All quiet people are kind. If Charlie is kind and Charlie is nice then Charlie is furry. All furry, smart people are kind. If someone is blue and furry then they are kind. Furry, nice people are smart. If Anne is quiet and Anne is nice then Anne is blue.
Anne is not smart.