Anne is big. Anne is quiet. Bob is big. Bob is blue. Bob is not nice. Bob is quiet. Bob is red. Bob is round. Charlie is white. Dave is white. If something is white and big then it is red. Red, white things are nice. If Charlie is nice and Charlie is not white then Charlie is quiet. All white things are round. All round things are big. If something is nice and not quiet then it is blue.
Dave is big.