「このカーキは数学化するしそれに骨折する」ということは成り立たない
fact1: 「数学化しない」物はある fact2: 四十ＦＴコンテナは齎し易いということはないし其れらしくない fact3: 「骨折しない」物はある fact4: 「あの規則等は数学化する」ということは成り立つ fact5: もしあの十六ミーは看過し難いとすれば「その北極圏は四十ＦＴコンテナである」ということは成り立つ fact6: なにがしかの物はレッドアースでない fact7: 「笑い始める」物はある fact8: 「もし仮にその北極圏が笑い始めるならばあのカーキは笑い始める」ということは成り立つ fact9: その北極圏は齎し易いということはないなら「このカーキは咲き広がらないけれど分派する」ということは成り立たない fact10: 「笑い始めない」ものはある fact11: もし仮にその北極圏が数学化するとするとこのカーキは数学化する fact12: 「その北極圏は数学化する」ということは成り立つ fact13: もしもとある物は笑い始めないとすると「それは数学化するしおまけに骨折する」ということは偽だ fact14: もし仮に「このカーキは咲き広がらないがそれは分派する」ということは正しいということはないとしたらそれは分派しない fact15: なんらかの物が分派しないならそれは笑い始めない fact16: もし仮にその定量データはし辛くないとしたらあの十六ミーは看過し難いし更に契約先だ fact17: 仮になんらかのものが笑い始めないとするとこのカーキは骨折する fact18: その北極圏は骨折する
fact10 & fact17 -> int1: このカーキは骨折する; fact12 & fact11 -> int2: このカーキは数学化する; int1 & int2 -> hypothesis;
「このカーキは数学化するしおまけにそれは骨折する」ということは事実と異なる
fact25 -> int3: もしこのカーキは笑い始めないとすると「数学化するししかもそれは骨折する」ということは本当でない; fact24 -> int4: このカーキが分派しないとするとそれは笑い始めない; fact20 -> int5: もしもその北極圏が四十ＦＴコンテナであるなら齎し易くないしそれは其れらしいということはない;
$facts$ = fact1: 「数学化しない」物はある fact2: 四十ＦＴコンテナは齎し易いということはないし其れらしくない fact3: 「骨折しない」物はある fact4: 「あの規則等は数学化する」ということは成り立つ fact5: もしあの十六ミーは看過し難いとすれば「その北極圏は四十ＦＴコンテナである」ということは成り立つ fact6: なにがしかの物はレッドアースでない fact7: 「笑い始める」物はある fact8: 「もし仮にその北極圏が笑い始めるならばあのカーキは笑い始める」ということは成り立つ fact9: その北極圏は齎し易いということはないなら「このカーキは咲き広がらないけれど分派する」ということは成り立たない fact10: 「笑い始めない」ものはある fact11: もし仮にその北極圏が数学化するとするとこのカーキは数学化する fact12: 「その北極圏は数学化する」ということは成り立つ fact13: もしもとある物は笑い始めないとすると「それは数学化するしおまけに骨折する」ということは偽だ fact14: もし仮に「このカーキは咲き広がらないがそれは分派する」ということは正しいということはないとしたらそれは分派しない fact15: なんらかの物が分派しないならそれは笑い始めない fact16: もし仮にその定量データはし辛くないとしたらあの十六ミーは看過し難いし更に契約先だ fact17: 仮になんらかのものが笑い始めないとするとこのカーキは骨折する fact18: その北極圏は骨折する ; $hypothesis$ = 「このカーキは数学化するしそれに骨折する」ということは成り立たない ; $proof$ = 
fact10 & fact17 -> int1: このカーキは骨折する; fact12 & fact11 -> int2: このカーキは数学化する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「数学化しない」物はある
事実2: 四十ＦＴコンテナは齎し易いということはないし其れらしくない
事実3: 「骨折しない」物はある
事実4: 「あの規則等は数学化する」ということは成り立つ
事実5: もしあの十六ミーは看過し難いとすれば「その北極圏は四十ＦＴコンテナである」ということは成り立つ
事実6: なにがしかの物はレッドアースでない
事実7: 「笑い始める」物はある
事実8: 「もし仮にその北極圏が笑い始めるならばあのカーキは笑い始める」ということは成り立つ
事実9: その北極圏は齎し易いということはないなら「このカーキは咲き広がらないけれど分派する」ということは成り立たない
事実10: 「笑い始めない」ものはある
事実11: もし仮にその北極圏が数学化するとするとこのカーキは数学化する
事実12: 「その北極圏は数学化する」ということは成り立つ
事実13: もしもとある物は笑い始めないとすると「それは数学化するしおまけに骨折する」ということは偽だ
事実14: もし仮に「このカーキは咲き広がらないがそれは分派する」ということは正しいということはないとしたらそれは分派しない
事実15: なんらかの物が分派しないならそれは笑い始めない
事実16: もし仮にその定量データはし辛くないとしたらあの十六ミーは看過し難いし更に契約先だ
事実17: 仮になんらかのものが笑い始めないとするとこのカーキは骨折する
事実18: その北極圏は骨折する

仮説: 「このカーキは数学化するしそれに骨折する」ということは成り立たない
1. 事実10と事実17から、推論1: "このカーキは骨折する"が導かれる
2. 事実12と事実11から、推論2: "このカーキは数学化する"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。