Anne is young. Bob is quiet. Dave is round. Fiona is round. Quiet people are green. If someone is quiet then they are nice. Smart people are not round. All green, smart people are quiet. If Fiona is quiet then Fiona is not big. If someone is quiet and big then they are not green. If Anne is not green then Anne is smart. If someone is not green then they are big.
Dave is not round.