Anne is big. Bob is furry. Dave is kind. Erin is white. If Anne is furry then Anne is not smart. Kind things are smart. If something is smart and not white then it is nice. All furry things are kind. If Dave is not smart then Dave is not nice. If something is not smart then it is not nice.
Anne is not nice.