その先入観念は完結しなくて二十六参照でない
fact1: それは使用形態であるけど三十四年法でないという物はない fact2: もし仮にこのイスパノが完結しないならばその先入観念は完結しないしそれに二十六参照でない fact3: もしも「このイスパノは完結しない」ということは事実であるとしたらその先入観念は二十六参照でない fact4: その先入観念は熱蛍光線量計でない fact5: それは使用形態でないしそれは三十四年法だというものはない fact6: もし仮に「このメシア預言が使用形態だということはないしその上それは三十四年法でない」ということは真実でないとするとこのイスパノは完結しない fact7: 「このメシア預言が使用形態だけどそれは三十四年法でない」ということは間違いだ fact8: それは使用形態だということはなくてしかも三十四年法であるということはないという物はない fact9: 仮にこのメシア預言が二十六参照だということはないならばその先入観念は二十六参照でなくて三十四年法だということはない fact10: その先入観念は二十六参照でない
fact8 -> int1: 「このメシア預言は使用形態でなくて三十四年法でない」ということは誤りだ; int1 & fact6 -> int2: このイスパノは完結しない; int2 & fact2 -> hypothesis;
fact8 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact6 -> int2: ¬{A}{a}; int2 & fact2 -> hypothesis;
$facts$ = fact1: それは使用形態であるけど三十四年法でないという物はない fact2: もし仮にこのイスパノが完結しないならばその先入観念は完結しないしそれに二十六参照でない fact3: もしも「このイスパノは完結しない」ということは事実であるとしたらその先入観念は二十六参照でない fact4: その先入観念は熱蛍光線量計でない fact5: それは使用形態でないしそれは三十四年法だというものはない fact6: もし仮に「このメシア預言が使用形態だということはないしその上それは三十四年法でない」ということは真実でないとするとこのイスパノは完結しない fact7: 「このメシア預言が使用形態だけどそれは三十四年法でない」ということは間違いだ fact8: それは使用形態だということはなくてしかも三十四年法であるということはないという物はない fact9: 仮にこのメシア預言が二十六参照だということはないならばその先入観念は二十六参照でなくて三十四年法だということはない fact10: その先入観念は二十六参照でない ; $hypothesis$ = その先入観念は完結しなくて二十六参照でない ; $proof$ = 
fact8 -> int1: 「このメシア預言は使用形態でなくて三十四年法でない」ということは誤りだ; int1 & fact6 -> int2: このイスパノは完結しない; int2 & fact2 -> hypothesis; __PROVED__
事実1: それは使用形態であるけど三十四年法でないという物はない
事実2: もし仮にこのイスパノが完結しないならばその先入観念は完結しないしそれに二十六参照でない
事実3: もしも「このイスパノは完結しない」ということは事実であるとしたらその先入観念は二十六参照でない
事実4: その先入観念は熱蛍光線量計でない
事実5: それは使用形態でないしそれは三十四年法だというものはない
事実6: もし仮に「このメシア預言が使用形態だということはないしその上それは三十四年法でない」ということは真実でないとするとこのイスパノは完結しない
事実7: 「このメシア預言が使用形態だけどそれは三十四年法でない」ということは間違いだ
事実8: それは使用形態だということはなくてしかも三十四年法であるということはないという物はない
事実9: 仮にこのメシア預言が二十六参照だということはないならばその先入観念は二十六参照でなくて三十四年法だということはない
事実10: その先入観念は二十六参照でない

仮説: その先入観念は完結しなくて二十六参照でない
1. 事実8から、推論1: "「このメシア預言は使用形態でなくて三十四年法でない」ということは誤りだ"が導かれる
2. 推論1と事実6から、推論2: "このイスパノは完結しない"が導かれる
3. 推論2と事実2から、仮説が導かれる

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