Anne is green. Anne is round. Anne is not white. Dave is green. Dave is quiet. Dave is round. Gary is big. Gary is not green. Gary is white. Harry is white. If Dave is round and Dave is big then Dave is quiet. All blue people are round. All nice, white people are big. If someone is white and not nice then they are quiet. If someone is round and nice then they are big. If someone is round then they are not nice. All quiet people are big. Big people are blue.
Harry is nice.