Anne is not big. Anne is round. Bob is big. Bob is blue. Bob is quiet. Bob is red. Bob is round. Bob is white. Dave is not big. Dave is blue. Dave is quiet. Dave is red. Dave is round. Dave is not smart. Dave is white. If someone is quiet and not blue then they are smart. All quiet people are red. If someone is smart and not blue then they are white. If someone is round then they are quiet. If someone is not quiet then they are not white. If someone is not quiet then they are round.
Dave is big.