Bob is big. Bob is blue. Bob is green. Bob is quiet. Bob is round. Dave is big. Dave is blue. Dave is green. Dave is quiet. Dave is round. Dave is smart. Fiona is big. Fiona is blue. Fiona is round. Harry is green. Harry is kind. All smart things are green. Green things are blue. If something is blue then it is smart. Quiet things are round. Smart, green things are blue. If something is green then it is kind. If something is green and big then it is quiet. Smart things are big. If Harry is quiet then Harry is blue.
Harry is not round.