Anne is not nice. Anne is quiet. Anne is round. Bob is cold. Bob is white. Dave is big. Dave is cold. Dave is nice. Dave is quiet. Dave is white. Quiet things are kind. All quiet things are big. All nice, big things are round. If Bob is white and Bob is kind then Bob is nice. If something is cold then it is quiet. All quiet, white things are nice.
Dave is not big.