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