Bob is big. Bob is not green. Bob is round. Bob is white. Dave is not big. Dave is green. Dave is quiet. Dave is round. Fiona is cold. Fiona is quiet. Fiona is white. Harry is big. Harry is cold. Harry is green. Harry is not round. Harry is white. Green, big people are quiet. All big, white people are quiet. If someone is round then they are white. If someone is red then they are round. If Dave is green then Dave is not big. If someone is not big then they are cold.
Dave is not round.