Anne is green. Anne is nice. Anne is rough. Charlie is rough. Dave is green. Fiona is big. Fiona is nice. All rough people are blue. If someone is big then they are nice. All quiet people are green. If Fiona is blue then Fiona is not quiet. Quiet people are green. All quiet people are white. Blue, rough people are big. Nice people are quiet. All big, quiet people are nice.
Dave is big.