Anne is green. Anne is quiet. Bob is green. Bob is white. Gary is big. Gary is green. Gary is not quiet. Gary is red. Gary is not white. Harry is kind. Harry is white. White things are big. If Anne is green then Anne is kind. All big things are blue. If something is green and blue then it is red. All kind things are white. If Gary is not white then Gary is green.
Bob is not blue.