Anne is furry. Anne is white. Bob is cold. Bob is furry. Bob is white. Dave is furry. Dave is nice. Dave is rough. Dave is young. Harry is nice. Harry is white. Harry is young. Red things are nice. If Dave is furry and Dave is not red then Dave is white.
Anne is not young.