「この同条同項は遣り掛けるけれど攻め取らない」ということは間違いである
fact1: 仮に「その短波はしかつめらしいということはないがしかし協力出来る」ということは間違いだとしたらそれは協力出来ない fact2: もしもこの同条同項はしかつめらしくないとしたら「それは行えらないし協力出来る」ということは誤っている fact3: 「この同条同項は忍び難いけれど遣り掛けない」ということは成り立たない fact4: この同条同項は忍び難い fact5: もしも何らかの物は忍び難いとしたら「掻き易くてそれは消化し難くない」ということは事実と異なる fact6: その石段は忍び難い fact7: その石段は遣り掛けるなら「この同条同項は忍び難いけど攻め取らない」ということは成り立たない fact8: 「「この同条同項は攻め取るし更にそれは巡洋艦である」ということは成り立つ」ということは誤りだ fact9: その店舗間は遣り掛ける fact10: その石段はしかつめらしい fact11: 運動文化は忍び難い fact12: 仮にこの同条同項が忍び難いということはないならそれは遣り掛けるが攻め取らない fact13: この同条同項は運動文化だ fact14: 「「その石段は遣り掛けるけど忍び難いということはない」ということは成り立たない」ということは成り立つ fact15: 運動文化は遣り掛ける fact16: もしもその石段は忍び難いとすると「この同条同項は遣り掛けるがしかし攻め取るということはない」ということは成り立たない fact17: 仮になんらかの物が協力出来ないとしたら運動文化であるしスクール・マッチだ fact18: なにがしかの物が焦れったいならばそれがしかつめらしいということはないしさらにコントロールし易い
fact16 & fact6 -> hypothesis;
fact16 & fact6 -> hypothesis;
この同条同項は遣り掛けるけど攻め取らない
fact19 -> int1: もしこの同条同項は運動文化であるとすると「それは遣り掛ける」ということは真実だ; int1 & fact20 -> int2: この同条同項は遣り掛ける; fact22 -> int3: もしあのティームが焦れったいとするとそれはしかつめらしくないけどコントロールし易い;
$facts$ = fact1: 仮に「その短波はしかつめらしいということはないがしかし協力出来る」ということは間違いだとしたらそれは協力出来ない fact2: もしもこの同条同項はしかつめらしくないとしたら「それは行えらないし協力出来る」ということは誤っている fact3: 「この同条同項は忍び難いけれど遣り掛けない」ということは成り立たない fact4: この同条同項は忍び難い fact5: もしも何らかの物は忍び難いとしたら「掻き易くてそれは消化し難くない」ということは事実と異なる fact6: その石段は忍び難い fact7: その石段は遣り掛けるなら「この同条同項は忍び難いけど攻め取らない」ということは成り立たない fact8: 「「この同条同項は攻め取るし更にそれは巡洋艦である」ということは成り立つ」ということは誤りだ fact9: その店舗間は遣り掛ける fact10: その石段はしかつめらしい fact11: 運動文化は忍び難い fact12: 仮にこの同条同項が忍び難いということはないならそれは遣り掛けるが攻め取らない fact13: この同条同項は運動文化だ fact14: 「「その石段は遣り掛けるけど忍び難いということはない」ということは成り立たない」ということは成り立つ fact15: 運動文化は遣り掛ける fact16: もしもその石段は忍び難いとすると「この同条同項は遣り掛けるがしかし攻め取るということはない」ということは成り立たない fact17: 仮になんらかの物が協力出来ないとしたら運動文化であるしスクール・マッチだ fact18: なにがしかの物が焦れったいならばそれがしかつめらしいということはないしさらにコントロールし易い ; $hypothesis$ = 「この同条同項は遣り掛けるけれど攻め取らない」ということは間違いである ; $proof$ = 
fact16 & fact6 -> hypothesis; __PROVED__
事実1: 仮に「その短波はしかつめらしいということはないがしかし協力出来る」ということは間違いだとしたらそれは協力出来ない
事実2: もしもこの同条同項はしかつめらしくないとしたら「それは行えらないし協力出来る」ということは誤っている
事実3: 「この同条同項は忍び難いけれど遣り掛けない」ということは成り立たない
事実4: この同条同項は忍び難い
事実5: もしも何らかの物は忍び難いとしたら「掻き易くてそれは消化し難くない」ということは事実と異なる
事実6: その石段は忍び難い
事実7: その石段は遣り掛けるなら「この同条同項は忍び難いけど攻め取らない」ということは成り立たない
事実8: 「「この同条同項は攻め取るし更にそれは巡洋艦である」ということは成り立つ」ということは誤りだ
事実9: その店舗間は遣り掛ける
事実10: その石段はしかつめらしい
事実11: 運動文化は忍び難い
事実12: 仮にこの同条同項が忍び難いということはないならそれは遣り掛けるが攻め取らない
事実13: この同条同項は運動文化だ
事実14: 「「その石段は遣り掛けるけど忍び難いということはない」ということは成り立たない」ということは成り立つ
事実15: 運動文化は遣り掛ける
事実16: もしもその石段は忍び難いとすると「この同条同項は遣り掛けるがしかし攻め取るということはない」ということは成り立たない
事実17: 仮になんらかの物が協力出来ないとしたら運動文化であるしスクール・マッチだ
事実18: なにがしかの物が焦れったいならばそれがしかつめらしいということはないしさらにコントロールし易い

仮説: 「この同条同項は遣り掛けるけれど攻め取らない」ということは間違いである
1. 事実16と事実6から、仮説が導かれる

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