Anne is cold. Anne is nice. Bob is big. Bob is furry. Bob is not red. Bob is smart. Dave is not cold. Dave is nice. Harry is cold. Harry is nice. Harry is red. Harry is smart. If something is nice then it is red. Red, big things are furry. If something is red then it is big. If something is kind and cold then it is smart. If Harry is red then Harry is smart. All furry things are kind. If something is cold and not big then it is furry. If something is furry and not big then it is nice.
Anne is not big.