Bob is big. Charlie is nice. Dave is big. If something is not big then it is furry. All green things are white. If something is furry and not green then it is nice. If something is quiet and not big then it is not white. If Bob is red then Bob is nice. If something is white then it is red.
Charlie is not furry.