Anne is kind. Anne is red. Anne is young. Bob is quiet. Bob is red. Bob is round. Bob is young. Charlie is quiet. Charlie is white. Charlie is young. Dave is big. Dave is kind. Dave is quiet. Dave is red. Dave is round. Dave is white. If Anne is quiet then Anne is round. If someone is kind and red then they are young.
Dave is not red.