Green, Yellow, and Red Flowchart
Green Yellow Red Flowchart
Disclaimer: somebody might not agree that `not Con(PA)' is falsifiable,
because they may not consider that the observation that no contradiction
has yet been found truthifies the statement.
In this case, simply modify the flowchart by removing the top green
observation, and on the left hand side remove each line of the form
"not Con(theory) is falsifiable, but no evidence for it" and
simply replace it with "no evidence for not Con(theory)".