そのシュマーレンバッハは反省的均衡だということはない
fact1: もし仮に「あの数理計算上は堪るがノミネートしない」ということは成り立つということはないとすればそのシュマーレンバッハは堪る fact2: この中心主題は反省的均衡だ fact3: そのシュマーレンバッハが堪ればそのジョーカーは堪る fact4: そのシュマーレンバッハは反省的均衡であるしおまけにそれは堪る fact5: そのシュマーレンバッハは平均審理期間である fact6: あの数理計算上は反省的均衡だ fact7: この強情は堪る fact8: 仮になにがしかのものは反省的均衡だとしたら「堪るがしかしノミネートしない」ということは成り立たない fact9: そのシュマーレンバッハは少年院であるしまたそれは追悼する fact10: あの数理計算上が堪らないならそのシュマーレンバッハは反省的均衡でない fact11: 「そのシュマーレンバッハはしおらしいしそれに崩れ易い」ということは真実だ
fact4 -> hypothesis;
fact4 -> hypothesis;
「そのジョーカーは堪らない」ということは事実でない
fact14 -> int1: あの数理計算上は反省的均衡だとしたら「堪るけどノミネートしない」ということは間違いである;
$facts$ = fact1: もし仮に「あの数理計算上は堪るがノミネートしない」ということは成り立つということはないとすればそのシュマーレンバッハは堪る fact2: この中心主題は反省的均衡だ fact3: そのシュマーレンバッハが堪ればそのジョーカーは堪る fact4: そのシュマーレンバッハは反省的均衡であるしおまけにそれは堪る fact5: そのシュマーレンバッハは平均審理期間である fact6: あの数理計算上は反省的均衡だ fact7: この強情は堪る fact8: 仮になにがしかのものは反省的均衡だとしたら「堪るがしかしノミネートしない」ということは成り立たない fact9: そのシュマーレンバッハは少年院であるしまたそれは追悼する fact10: あの数理計算上が堪らないならそのシュマーレンバッハは反省的均衡でない fact11: 「そのシュマーレンバッハはしおらしいしそれに崩れ易い」ということは真実だ ; $hypothesis$ = そのシュマーレンバッハは反省的均衡だということはない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: もし仮に「あの数理計算上は堪るがノミネートしない」ということは成り立つということはないとすればそのシュマーレンバッハは堪る
事実2: この中心主題は反省的均衡だ
事実3: そのシュマーレンバッハが堪ればそのジョーカーは堪る
事実4: そのシュマーレンバッハは反省的均衡であるしおまけにそれは堪る
事実5: そのシュマーレンバッハは平均審理期間である
事実6: あの数理計算上は反省的均衡だ
事実7: この強情は堪る
事実8: 仮になにがしかのものは反省的均衡だとしたら「堪るがしかしノミネートしない」ということは成り立たない
事実9: そのシュマーレンバッハは少年院であるしまたそれは追悼する
事実10: あの数理計算上が堪らないならそのシュマーレンバッハは反省的均衡でない
事実11: 「そのシュマーレンバッハはしおらしいしそれに崩れ易い」ということは真実だ

仮説: そのシュマーレンバッハは反省的均衡だということはない
1. 事実4から、仮説が否定される

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