Anne is big. Anne is furry. Anne is not kind. Charlie is not big. Charlie is furry. Charlie is kind. Dave is furry. Dave is kind. Dave is round. Dave is not white. Harry is big. Harry is cold. Harry is furry. Harry is not kind. Harry is red. Harry is round. All big things are cold. Cold things are not white. If something is white and big then it is red.
Dave is not red.