もしあの相互行為能力が二分冊だとしたらこのトーテムポールは届き難い
fact1: このトーテムポールが可笑しとしたらその真鯛は届き難い fact2: もしも「その真鯛は受け入れられ易い」ということは本当であるならばこのトーテムポールは届き難い fact3: この否認権行使は狙い易くない fact4: あの相互行為能力は届き難いということはない一方で二分冊だ fact5: もしあの相互行為能力が届き難いならそれは狙い易い fact6: このトーテムポールは二分冊であるということはない fact7: 「「「あの相互行為能力は二分冊で狙い易い」ということは正しい」ということは成り立たない」ということは正しい fact8: もしも「その真鯛は二分冊でないけど狙い易い」ということは事実と異なるとするとあの相互行為能力は可笑し fact9: 「その真鯛は届き難いということはないけどそれは受け入れられ易い」ということは誤っている fact10: あの相互行為能力は狙い易いということはないがしかし受け入れられ易い fact11: あの相互行為能力は狙い易くない fact12: その煙突は可笑しないけど幼し fact13: このトーテムポールは狙い易くない fact14: もし「あの相互行為能力は受け入れられ易い」ということは正しいとするとその真鯛は二分冊である fact15: 仮に「あの相互行為能力は二分冊でないけど狙い易い」ということは成り立つということはないならばその真鯛は可笑し fact16: もし仮にとある物が困惑するなら島ケ原宿である fact17: 可笑し物は受け入れられ易い fact18: このトーテムポールは狙い易くないがカーラーである fact19: あの相互行為能力が受け入れられ易いとしたらそれは史局だ fact20: もし「このトーテムポールは二分冊だということはないけれどそれは可笑し」ということは偽だとしたらあの相互行為能力は届き難い fact21: もし何らかの物が狙い易いならそれは可笑し fact22: もし仮にあの相互行為能力が二分冊でないがそれは狙い易いなら「その真鯛は可笑し」ということは事実だ fact23: あの定量的評価は可笑し
void -> assump2: 以下のように仮定する。あの相互行為能力は二分冊だということはないが狙い易い; assump2 -> int1: あの相互行為能力は二分冊でない; void -> assump1: 以下のように仮定する。あの相互行為能力は二分冊である; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「あの相互行為能力は二分冊でないけど狙い易い」ということは嘘だ; int3 & fact15 -> int4: その真鯛は可笑し; fact17 -> int5: その真鯛が可笑しならば受け入れられ易い; int4 & int5 -> int6: 「その真鯛は受け入れられ易い」ということは正しい; int6 & fact2 -> int7: このトーテムポールは届き難い; [assump1] & int7 -> hypothesis;
$facts$ = fact1: このトーテムポールが可笑しとしたらその真鯛は届き難い fact2: もしも「その真鯛は受け入れられ易い」ということは本当であるならばこのトーテムポールは届き難い fact3: この否認権行使は狙い易くない fact4: あの相互行為能力は届き難いということはない一方で二分冊だ fact5: もしあの相互行為能力が届き難いならそれは狙い易い fact6: このトーテムポールは二分冊であるということはない fact7: 「「「あの相互行為能力は二分冊で狙い易い」ということは正しい」ということは成り立たない」ということは正しい fact8: もしも「その真鯛は二分冊でないけど狙い易い」ということは事実と異なるとするとあの相互行為能力は可笑し fact9: 「その真鯛は届き難いということはないけどそれは受け入れられ易い」ということは誤っている fact10: あの相互行為能力は狙い易いということはないがしかし受け入れられ易い fact11: あの相互行為能力は狙い易くない fact12: その煙突は可笑しないけど幼し fact13: このトーテムポールは狙い易くない fact14: もし「あの相互行為能力は受け入れられ易い」ということは正しいとするとその真鯛は二分冊である fact15: 仮に「あの相互行為能力は二分冊でないけど狙い易い」ということは成り立つということはないならばその真鯛は可笑し fact16: もし仮にとある物が困惑するなら島ケ原宿である fact17: 可笑し物は受け入れられ易い fact18: このトーテムポールは狙い易くないがカーラーである fact19: あの相互行為能力が受け入れられ易いとしたらそれは史局だ fact20: もし「このトーテムポールは二分冊だということはないけれどそれは可笑し」ということは偽だとしたらあの相互行為能力は届き難い fact21: もし何らかの物が狙い易いならそれは可笑し fact22: もし仮にあの相互行為能力が二分冊でないがそれは狙い易いなら「その真鯛は可笑し」ということは事実だ fact23: あの定量的評価は可笑し ; $hypothesis$ = もしあの相互行為能力が二分冊だとしたらこのトーテムポールは届き難い ; $proof$ = 
void -> assump2: 以下のように仮定する。あの相互行為能力は二分冊だということはないが狙い易い; assump2 -> int1: あの相互行為能力は二分冊でない; void -> assump1: 以下のように仮定する。あの相互行為能力は二分冊である; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「あの相互行為能力は二分冊でないけど狙い易い」ということは嘘だ; int3 & fact15 -> int4: その真鯛は可笑し; fact17 -> int5: その真鯛が可笑しならば受け入れられ易い; int4 & int5 -> int6: 「その真鯛は受け入れられ易い」ということは正しい; int6 & fact2 -> int7: このトーテムポールは届き難い; [assump1] & int7 -> hypothesis; __PROVED__
事実1: このトーテムポールが可笑しとしたらその真鯛は届き難い
事実2: もしも「その真鯛は受け入れられ易い」ということは本当であるならばこのトーテムポールは届き難い
事実3: この否認権行使は狙い易くない
事実4: あの相互行為能力は届き難いということはない一方で二分冊だ
事実5: もしあの相互行為能力が届き難いならそれは狙い易い
事実6: このトーテムポールは二分冊であるということはない
事実7: 「「「あの相互行為能力は二分冊で狙い易い」ということは正しい」ということは成り立たない」ということは正しい
事実8: もしも「その真鯛は二分冊でないけど狙い易い」ということは事実と異なるとするとあの相互行為能力は可笑し
事実9: 「その真鯛は届き難いということはないけどそれは受け入れられ易い」ということは誤っている
事実10: あの相互行為能力は狙い易いということはないがしかし受け入れられ易い
事実11: あの相互行為能力は狙い易くない
事実12: その煙突は可笑しないけど幼し
事実13: このトーテムポールは狙い易くない
事実14: もし「あの相互行為能力は受け入れられ易い」ということは正しいとするとその真鯛は二分冊である
事実15: 仮に「あの相互行為能力は二分冊でないけど狙い易い」ということは成り立つということはないならばその真鯛は可笑し
事実16: もし仮にとある物が困惑するなら島ケ原宿である
事実17: 可笑し物は受け入れられ易い
事実18: このトーテムポールは狙い易くないがカーラーである
事実19: あの相互行為能力が受け入れられ易いとしたらそれは史局だ
事実20: もし「このトーテムポールは二分冊だということはないけれどそれは可笑し」ということは偽だとしたらあの相互行為能力は届き難い
事実21: もし何らかの物が狙い易いならそれは可笑し
事実22: もし仮にあの相互行為能力が二分冊でないがそれは狙い易いなら「その真鯛は可笑し」ということは事実だ
事実23: あの定量的評価は可笑し

仮説: もしあの相互行為能力が二分冊だとしたらこのトーテムポールは届き難い
1. 仮定2: 以下のように仮定する。あの相互行為能力は二分冊だということはないが狙い易い
2. 仮定2から、推論1: "あの相互行為能力は二分冊でない"が導かれる
3. 仮定1: 以下のように仮定する。あの相互行為能力は二分冊である
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「あの相互行為能力は二分冊でないけど狙い易い」ということは嘘だ"が導かれる
6. 推論3と事実15から、推論4: "その真鯛は可笑し"が導かれる
7. 事実17から、推論5: "その真鯛が可笑しならば受け入れられ易い"が導かれる
8. 推論4と推論5から、推論6: "「その真鯛は受け入れられ易い」ということは正しい"が導かれる
9. 推論6と事実2から、推論7: "このトーテムポールは届き難い"が導かれる
10. [仮定1]と推論7から、仮説が導かれる

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