Dave is blue. Dave is green. Dave is kind. Dave is quiet. Dave is round. Dave is smart. Erin is green. Erin is kind. Erin is quiet. Fiona is blue. Fiona is quiet. Gary is big. Gary is quiet. Gary is round. Gary is smart. Green things are smart. If Erin is blue then Erin is round. All kind things are quiet. If Gary is round then Gary is kind. All kind things are smart. All green things are round.
Gary is not blue.