この凝縮は六連符でないかまたはそれは息み始めるかどちらもだ
fact1: もしも「とあるものは千九百九十一年時点であるしそれは得度する」ということは事実と異なるとすれば「千九百九十一年時点でない」ということは真実である fact2: この凝縮は息み始める fact3: この凝縮は六連符であるかもしくは息み始める
fact2 -> hypothesis;
fact2 -> hypothesis;
「この凝縮は六連符でないか息み始めるかもしくは両方ともだ」ということは誤っている
fact4 -> int1: もしも「そのアドミニストレーターは千九百九十一年時点だしおまけに得度する」ということは成り立つということはないとすると千九百九十一年時点だということはない;
$facts$ = fact1: もしも「とあるものは千九百九十一年時点であるしそれは得度する」ということは事実と異なるとすれば「千九百九十一年時点でない」ということは真実である fact2: この凝縮は息み始める fact3: この凝縮は六連符であるかもしくは息み始める ; $hypothesis$ = この凝縮は六連符でないかまたはそれは息み始めるかどちらもだ ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしも「とあるものは千九百九十一年時点であるしそれは得度する」ということは事実と異なるとすれば「千九百九十一年時点でない」ということは真実である
事実2: この凝縮は息み始める
事実3: この凝縮は六連符であるかもしくは息み始める

仮説: この凝縮は六連符でないかまたはそれは息み始めるかどちらもだ
1. 事実2から、仮説が導かれる

よって、仮説が証明されました。