仮に「あのクラフトマンは最終定理である」ということは正しいならばその委託契約は跳梁する
fact1: もしも「その仕様書は精読する」ということは本当であるとしたらその委託契約は跳梁する fact2: もしも「この異地点間は跳梁する」ということは事実であるとしたら「その委託契約は検索機能だ」ということは真実である fact3: この異地点間は使い熟せる fact4: もしあの一定時期が検索機能だとするとこの異地点間は検索機能でないかあるいはそれは蓋然性である fact5: もしも何らかの物は蓋然性でないならば「それは最終定理でないかもしくは安いかもしくは両方ともである」ということは誤りでない fact6: この異地点間は使い熟せるとすれば「それは差し掛けるということはないし精読しない」ということは誤りだ fact7: あの一定時期が検索機能だとするとこの異地点間は検索機能であるかあるいは蓋然性でないかどちらもである fact8: 「「差し掛けないし精読しない」ということは誤りである」ものがあるならあの一定時期は蓋然性でない fact9: 仮にこの異地点間が検索機能であるということはないかまたは蓋然性でないかまたは両方だとすればこの模型飛行機は安い fact10: もしもあの一定時期が検索機能であるならばこの異地点間は検索機能でないかもしくは蓋然性であるということはないかもしくはどちらもである fact11: もしこの異地点間が精読するならその仕様書は精読しないかあるいはそれは蓋然性でないかもしくはどちらもである fact12: もしもこの模型飛行機が安いとすればその仕様書は精読する fact13: この異地点間は検索機能であるかそれは蓋然性でないかまたは両方ともだ fact14: あのクラフトマンは安い fact15: この異地点間は検索機能でないかもしくは蓋然性であるかまたは両方である fact16: もしもこの模型飛行機が蓋然性ならばこの異地点間は安い fact17: もしあのクラフトマンは最終定理であるとすれば「あの一定時期は検索機能だ」ということは確かである fact18: この異地点間は精読するとすれば「その仕様書は検索機能だ」ということは成り立つ fact19: もし仮になにがしかのものは最終定理であるということはないならそれは検索機能であるかあるいは跳梁するかまたは両方ともである fact20: もしこの異地点間が跳梁するとすればその委託契約は蓋然性である
void -> assump1: 以下のように仮定する。あのクラフトマンは最終定理だ; fact17 & assump1 -> int1: あの一定時期は検索機能だ; int1 & fact10 -> int2: 「この異地点間は検索機能でないかまたは蓋然性でない」ということは事実である; int2 & fact9 -> int3: この模型飛行機は安い; int3 & fact12 -> int4: その仕様書は精読する; int4 & fact1 -> int5: その委託契約は跳梁する; [assump1] & int5 -> hypothesis;
「この事無しは跳梁する」ということは成り立つ
fact24 -> int6: もしもあのクラフトマンは最終定理でないとすると検索機能であるかあるいは跳梁するかもしくは両方である; fact22 -> int7: 「もしあの一定時期が蓋然性であるということはないとするとあの一定時期は最終定理でないかあるいは安いかまたは両方ともだ」ということは本当である; fact21 & fact25 -> int8: 「この異地点間は差し掛けないしかつ精読しない」ということは成り立たない; int8 -> int9: 「「差し掛けるということはないしさらに精読しない」ということは成り立たない」物はある; int9 & fact23 -> int10: 「あの一定時期は蓋然性だということはない」ということは本当だ; int7 & int10 -> int11: あの一定時期は最終定理だということはないかもしくは安い; int11 -> int12: なにかは最終定理でないかあるいはそれは安い;
$facts$ = fact1: もしも「その仕様書は精読する」ということは本当であるとしたらその委託契約は跳梁する fact2: もしも「この異地点間は跳梁する」ということは事実であるとしたら「その委託契約は検索機能だ」ということは真実である fact3: この異地点間は使い熟せる fact4: もしあの一定時期が検索機能だとするとこの異地点間は検索機能でないかあるいはそれは蓋然性である fact5: もしも何らかの物は蓋然性でないならば「それは最終定理でないかもしくは安いかもしくは両方ともである」ということは誤りでない fact6: この異地点間は使い熟せるとすれば「それは差し掛けるということはないし精読しない」ということは誤りだ fact7: あの一定時期が検索機能だとするとこの異地点間は検索機能であるかあるいは蓋然性でないかどちらもである fact8: 「「差し掛けないし精読しない」ということは誤りである」ものがあるならあの一定時期は蓋然性でない fact9: 仮にこの異地点間が検索機能であるということはないかまたは蓋然性でないかまたは両方だとすればこの模型飛行機は安い fact10: もしもあの一定時期が検索機能であるならばこの異地点間は検索機能でないかもしくは蓋然性であるということはないかもしくはどちらもである fact11: もしこの異地点間が精読するならその仕様書は精読しないかあるいはそれは蓋然性でないかもしくはどちらもである fact12: もしもこの模型飛行機が安いとすればその仕様書は精読する fact13: この異地点間は検索機能であるかそれは蓋然性でないかまたは両方ともだ fact14: あのクラフトマンは安い fact15: この異地点間は検索機能でないかもしくは蓋然性であるかまたは両方である fact16: もしもこの模型飛行機が蓋然性ならばこの異地点間は安い fact17: もしあのクラフトマンは最終定理であるとすれば「あの一定時期は検索機能だ」ということは確かである fact18: この異地点間は精読するとすれば「その仕様書は検索機能だ」ということは成り立つ fact19: もし仮になにがしかのものは最終定理であるということはないならそれは検索機能であるかあるいは跳梁するかまたは両方ともである fact20: もしこの異地点間が跳梁するとすればその委託契約は蓋然性である ; $hypothesis$ = 仮に「あのクラフトマンは最終定理である」ということは正しいならばその委託契約は跳梁する ; $proof$ = 
void -> assump1: 以下のように仮定する。あのクラフトマンは最終定理だ; fact17 & assump1 -> int1: あの一定時期は検索機能だ; int1 & fact10 -> int2: 「この異地点間は検索機能でないかまたは蓋然性でない」ということは事実である; int2 & fact9 -> int3: この模型飛行機は安い; int3 & fact12 -> int4: その仕様書は精読する; int4 & fact1 -> int5: その委託契約は跳梁する; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしも「その仕様書は精読する」ということは本当であるとしたらその委託契約は跳梁する
事実2: もしも「この異地点間は跳梁する」ということは事実であるとしたら「その委託契約は検索機能だ」ということは真実である
事実3: この異地点間は使い熟せる
事実4: もしあの一定時期が検索機能だとするとこの異地点間は検索機能でないかあるいはそれは蓋然性である
事実5: もしも何らかの物は蓋然性でないならば「それは最終定理でないかもしくは安いかもしくは両方ともである」ということは誤りでない
事実6: この異地点間は使い熟せるとすれば「それは差し掛けるということはないし精読しない」ということは誤りだ
事実7: あの一定時期が検索機能だとするとこの異地点間は検索機能であるかあるいは蓋然性でないかどちらもである
事実8: 「「差し掛けないし精読しない」ということは誤りである」ものがあるならあの一定時期は蓋然性でない
事実9: 仮にこの異地点間が検索機能であるということはないかまたは蓋然性でないかまたは両方だとすればこの模型飛行機は安い
事実10: もしもあの一定時期が検索機能であるならばこの異地点間は検索機能でないかもしくは蓋然性であるということはないかもしくはどちらもである
事実11: もしこの異地点間が精読するならその仕様書は精読しないかあるいはそれは蓋然性でないかもしくはどちらもである
事実12: もしもこの模型飛行機が安いとすればその仕様書は精読する
事実13: この異地点間は検索機能であるかそれは蓋然性でないかまたは両方ともだ
事実14: あのクラフトマンは安い
事実15: この異地点間は検索機能でないかもしくは蓋然性であるかまたは両方である
事実16: もしもこの模型飛行機が蓋然性ならばこの異地点間は安い
事実17: もしあのクラフトマンは最終定理であるとすれば「あの一定時期は検索機能だ」ということは確かである
事実18: この異地点間は精読するとすれば「その仕様書は検索機能だ」ということは成り立つ
事実19: もし仮になにがしかのものは最終定理であるということはないならそれは検索機能であるかあるいは跳梁するかまたは両方ともである
事実20: もしこの異地点間が跳梁するとすればその委託契約は蓋然性である

仮説: 仮に「あのクラフトマンは最終定理である」ということは正しいならばその委託契約は跳梁する
1. 仮定1: 以下のように仮定する。あのクラフトマンは最終定理だ
2. 事実17と仮定1から、推論1: "あの一定時期は検索機能だ"が導かれる
3. 推論1と事実10から、推論2: "「この異地点間は検索機能でないかまたは蓋然性でない」ということは事実である"が導かれる
4. 推論2と事実9から、推論3: "この模型飛行機は安い"が導かれる
5. 推論3と事実12から、推論4: "その仕様書は精読する"が導かれる
6. 推論4と事実1から、推論5: "その委託契約は跳梁する"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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