あの南北間は非麻痺側手である
fact1: あの教え子は塗し付けるしそれに頑是無い fact2: あの南北間が非麻痺側手でないとするとあの教え子は頑是無いということはない fact3: あの教え子は塗し付ける fact4: あの場所取りは非麻痺側手である fact5: 仮にそのポークは起こり難くないなら「それは凄いということはないしそれは握り易くない」ということは成り立つということはない fact6: 仮に持ち難いものは塗し付ければ頑是無くない fact7: もし仮にこの抽象論が凄くないとすればあの毒性物質は若々しかないけれどそれはテントである fact8: そのポークは起こり難いということはない fact9: もしあの毒性物質が若々しかない一方でテントだとしたらあの正方形等分布荷重はテントでない fact10: 「あの正方形等分布荷重は持ち難くないかそれはテントだということはないかまたは両方だ」ということは正しいとするとあの教え子は持ち難くない fact11: 頑是無くないものは非麻痺側手でない fact12: もしあの教え子が持ち難くないとしたらあの南北間は持ち難い fact13: 仮に「「そのポークは凄くないし握り易くない」ということは誤っている」ということは正しいとすると「この抽象論は凄くない」ということは成り立つ
void -> assump1: 以下のように仮定する。あの南北間は非麻痺側手でない; fact2 & assump1 -> int1: あの教え子は頑是無くない; fact1 -> int2: あの教え子は頑是無い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact2 & assump1 -> int1: ¬{B}{b}; fact1 -> int2: {B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
あの南北間は非麻痺側手でない
fact20 -> int4: もし仮にあの南北間が頑是無いということはないならばそれは非麻痺側手だということはない; fact22 -> int5: あの南北間は持ち難いし塗し付けるとしたら「それは頑是無いということはない」ということは正しい; fact18 & fact15 -> int6: 「そのポークは凄いということはないしその上握り易いない」ということは間違っている; fact14 & int6 -> int7: この抽象論は凄くない; fact21 & int7 -> int8: あの毒性物質は若々しかないけれどテントである; fact19 & int8 -> int9: あの正方形等分布荷重はテントでない; int9 -> int10: あの正方形等分布荷重は持ち難くないかあるいはテントでないかもしくはどちらもである; fact17 & int10 -> int11: あの教え子は持ち難くない; fact16 & int11 -> int12: あの南北間は持ち難い;
$facts$ = fact1: あの教え子は塗し付けるしそれに頑是無い fact2: あの南北間が非麻痺側手でないとするとあの教え子は頑是無いということはない fact3: あの教え子は塗し付ける fact4: あの場所取りは非麻痺側手である fact5: 仮にそのポークは起こり難くないなら「それは凄いということはないしそれは握り易くない」ということは成り立つということはない fact6: 仮に持ち難いものは塗し付ければ頑是無くない fact7: もし仮にこの抽象論が凄くないとすればあの毒性物質は若々しかないけれどそれはテントである fact8: そのポークは起こり難いということはない fact9: もしあの毒性物質が若々しかない一方でテントだとしたらあの正方形等分布荷重はテントでない fact10: 「あの正方形等分布荷重は持ち難くないかそれはテントだということはないかまたは両方だ」ということは正しいとするとあの教え子は持ち難くない fact11: 頑是無くないものは非麻痺側手でない fact12: もしあの教え子が持ち難くないとしたらあの南北間は持ち難い fact13: 仮に「「そのポークは凄くないし握り易くない」ということは誤っている」ということは正しいとすると「この抽象論は凄くない」ということは成り立つ ; $hypothesis$ = あの南北間は非麻痺側手である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの南北間は非麻痺側手でない; fact2 & assump1 -> int1: あの教え子は頑是無くない; fact1 -> int2: あの教え子は頑是無い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: あの教え子は塗し付けるしそれに頑是無い
事実2: あの南北間が非麻痺側手でないとするとあの教え子は頑是無いということはない
事実3: あの教え子は塗し付ける
事実4: あの場所取りは非麻痺側手である
事実5: 仮にそのポークは起こり難くないなら「それは凄いということはないしそれは握り易くない」ということは成り立つということはない
事実6: 仮に持ち難いものは塗し付ければ頑是無くない
事実7: もし仮にこの抽象論が凄くないとすればあの毒性物質は若々しかないけれどそれはテントである
事実8: そのポークは起こり難いということはない
事実9: もしあの毒性物質が若々しかない一方でテントだとしたらあの正方形等分布荷重はテントでない
事実10: 「あの正方形等分布荷重は持ち難くないかそれはテントだということはないかまたは両方だ」ということは正しいとするとあの教え子は持ち難くない
事実11: 頑是無くないものは非麻痺側手でない
事実12: もしあの教え子が持ち難くないとしたらあの南北間は持ち難い
事実13: 仮に「「そのポークは凄くないし握り易くない」ということは誤っている」ということは正しいとすると「この抽象論は凄くない」ということは成り立つ

仮説: あの南北間は非麻痺側手である
1. 仮定1: 以下のように仮定する。あの南北間は非麻痺側手でない
2. 事実2と仮定1から、推論1: "あの教え子は頑是無くない"が導かれる
3. 事実1から、推論2: "あの教え子は頑是無い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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