仮にこのタップ径が心許なくないとするとあの付け手は誇張するしそれにそれは広過ぎる
fact1: もし仮に「あの付け手は御呉ん為さる」ということは真実であるとすればあいなめだ fact2: あの付け手は腐り切る fact3: あの付け手が心許なくないならこのタップ径はあいなめであるしさらに徒らっぽい fact4: もし仮になにがしかのものが徒らっぽいならそれは広過ぎる fact5: あの付け手は身動き出来ない fact6: 「その積りは広過ぎない」ということは成り立つ fact7: このタップ径はあいなめでない fact8: 「もしもこのタップ径が心許ないとしたらあの付け手は誇張するし広過ぎる」ということは事実である fact9: このタップ径が心許ないならあの付け手は腐り切るし誇張する fact10: 「あの付け手はあいなめである」ということは成り立つ fact11: 仮にこのタップ径が心許なくないとしたらあの付け手は腐り切るしその上誇張する fact12: あの付け手は徒らっぽくておまけにそれはあいなめである fact13: 仮にこのタップ径が心許なくないならばあの付け手は腐り切る
void -> assump1: 以下のように仮定する。「このタップ径は心許ないということはない」ということは事実である; fact11 & assump1 -> int1: あの付け手は腐り切るしそれは誇張する; int1 -> int2: あの付け手は誇張する; fact12 -> int3: あの付け手は徒らっぽい; fact4 -> int4: もしも「あの付け手は徒らっぽくない」ということは事実と異なるとすれば「広過ぎる」ということは本当だ; int3 & int4 -> int5: あの付け手は広過ぎる; int2 & int5 -> int6: あの付け手は誇張するし加えて広過ぎる; [assump1] & int6 -> hypothesis;
$facts$ = fact1: もし仮に「あの付け手は御呉ん為さる」ということは真実であるとすればあいなめだ fact2: あの付け手は腐り切る fact3: あの付け手が心許なくないならこのタップ径はあいなめであるしさらに徒らっぽい fact4: もし仮になにがしかのものが徒らっぽいならそれは広過ぎる fact5: あの付け手は身動き出来ない fact6: 「その積りは広過ぎない」ということは成り立つ fact7: このタップ径はあいなめでない fact8: 「もしもこのタップ径が心許ないとしたらあの付け手は誇張するし広過ぎる」ということは事実である fact9: このタップ径が心許ないならあの付け手は腐り切るし誇張する fact10: 「あの付け手はあいなめである」ということは成り立つ fact11: 仮にこのタップ径が心許なくないとしたらあの付け手は腐り切るしその上誇張する fact12: あの付け手は徒らっぽくておまけにそれはあいなめである fact13: 仮にこのタップ径が心許なくないならばあの付け手は腐り切る ; $hypothesis$ = 仮にこのタップ径が心許なくないとするとあの付け手は誇張するしそれにそれは広過ぎる ; $proof$ = 
void -> assump1: 以下のように仮定する。「このタップ径は心許ないということはない」ということは事実である; fact11 & assump1 -> int1: あの付け手は腐り切るしそれは誇張する; int1 -> int2: あの付け手は誇張する; fact12 -> int3: あの付け手は徒らっぽい; fact4 -> int4: もしも「あの付け手は徒らっぽくない」ということは事実と異なるとすれば「広過ぎる」ということは本当だ; int3 & int4 -> int5: あの付け手は広過ぎる; int2 & int5 -> int6: あの付け手は誇張するし加えて広過ぎる; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もし仮に「あの付け手は御呉ん為さる」ということは真実であるとすればあいなめだ
事実2: あの付け手は腐り切る
事実3: あの付け手が心許なくないならこのタップ径はあいなめであるしさらに徒らっぽい
事実4: もし仮になにがしかのものが徒らっぽいならそれは広過ぎる
事実5: あの付け手は身動き出来ない
事実6: 「その積りは広過ぎない」ということは成り立つ
事実7: このタップ径はあいなめでない
事実8: 「もしもこのタップ径が心許ないとしたらあの付け手は誇張するし広過ぎる」ということは事実である
事実9: このタップ径が心許ないならあの付け手は腐り切るし誇張する
事実10: 「あの付け手はあいなめである」ということは成り立つ
事実11: 仮にこのタップ径が心許なくないとしたらあの付け手は腐り切るしその上誇張する
事実12: あの付け手は徒らっぽくておまけにそれはあいなめである
事実13: 仮にこのタップ径が心許なくないならばあの付け手は腐り切る

仮説: 仮にこのタップ径が心許なくないとするとあの付け手は誇張するしそれにそれは広過ぎる
1. 仮定1: 以下のように仮定する。「このタップ径は心許ないということはない」ということは事実である
2. 事実11と仮定1から、推論1: "あの付け手は腐り切るしそれは誇張する"が導かれる
3. 推論1から、推論2: "あの付け手は誇張する"が導かれる
4. 事実12から、推論3: "あの付け手は徒らっぽい"が導かれる
5. 事実4から、推論4: "もしも「あの付け手は徒らっぽくない」ということは事実と異なるとすれば「広過ぎる」ということは本当だ"が導かれる
6. 推論3と推論4から、推論5: "あの付け手は広過ぎる"が導かれる
7. 推論2と推論5から、推論6: "あの付け手は誇張するし加えて広過ぎる"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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