Anne is blue. Anne is kind. Anne is not round. Anne is not smart. Bob is big. Bob is blue. Bob is kind. Bob is round. Bob is young. Charlie is big. Charlie is not blue. Charlie is young. Dave is blue. Dave is kind. Dave is smart. If someone is quiet and blue then they are big. If someone is blue then they are quiet. Blue, big people are quiet. If Charlie is kind and Charlie is not round then Charlie is young. If Bob is kind and Bob is quiet then Bob is round. Young, big people are smart. If Dave is quiet then Dave is blue. If Charlie is young and Charlie is blue then Charlie is not round.
Dave is big.