Expedite evaluation by clearly identifying Known, Disproven, and Unproven hypotheses.

This suggests that disproven hypotheses should be deleted, or at the very least, moved out of the way, into an archive.

 

Software has to support user rankings of hypotheses.

The status on an hypothesis can change, when a problem with it is solved with new information.

The truth value of a statement sometimes cannot be evaluated in isolation.