Anne is quiet. Anne is not red. Anne is young. Dave is big. Dave is blue. Dave is not red. Dave is round. Fiona is blue. Fiona is green. Fiona is quiet. Fiona is red. Fiona is round. Gary is big. Gary is blue. Gary is red. Gary is young. If Dave is big and Dave is quiet then Dave is round. If someone is round and not big then they are young. If someone is blue and not green then they are quiet. If someone is not red then they are blue. If someone is green then they are blue. If someone is not young then they are blue. If someone is not quiet then they are blue. If Anne is red and Anne is not young then Anne is round.
Dave is not big.