Anne is nice. Bob is nice. Dave is big. Dave is blue. Dave is not red. Fiona is blue. Fiona is not nice. If someone is big and rough then they are not round. Rough, quiet people are not red. If someone is red then they are blue. All nice, quiet people are red. If someone is not quiet then they are big. If Bob is quiet then Bob is not big. Quiet people are not red. Nice people are not round.
Dave is big.