Anne is quiet. Charlie is blue. Charlie is round. Charlie is white. Dave is quiet. Gary is round. Gary is white. All quiet things are white. If Dave is blue then Dave is smart. All green, smart things are round.
Anne is not round.