そのマキシムは満遍無くない
fact1: 「「起こり難いしさらに忘れ難くない」ということは誤りである」ものはある fact2: 仮に「「起こり難いけれど忘れ難くない」ということは事実でない」物があるとしたらそのマキシムは満遍無い
$facts$ = fact1: 「「起こり難いしさらに忘れ難くない」ということは誤りである」ものはある fact2: 仮に「「起こり難いけれど忘れ難くない」ということは事実でない」物があるとしたらそのマキシムは満遍無い ; $hypothesis$ = そのマキシムは満遍無くない ; $proof$ = 
事実1: 「「起こり難いしさらに忘れ難くない」ということは誤りである」ものはある
事実2: 仮に「「起こり難いけれど忘れ難くない」ということは事実でない」物があるとしたらそのマキシムは満遍無い

仮説: そのマキシムは満遍無くない