この特記事項無しは及第しない
fact1: その一草庵は抑制出来るということはない fact2: あの動作主は抑制出来るということはない fact3: 「この特記事項無しは十三階段である」ということは確かだ fact4: もしとある物が射止めるとするとそれは返還請求出来る fact5: もしも「とある物は十三階段であるがそれはポスト現実主義でない」ということは成り立たないならばそれは射止める fact6: もしもあの動作主は抑制出来るということはないなら「あの正々堂々は十三階段である一方でポスト現実主義でない」ということは誤りだ fact7: もし仮にあの正々堂々が返還請求出来るとするとこの特記事項無しは及第する fact8: もしもあの正々堂々は射止めないならば「あの動作主は抑制出来るがしかし及第しない」ということは成り立たない fact9: もしもとあるものはポスト現実主義だとしたら「及第する」ということは真実だ fact10: もしあの動作主が貧乏臭いとしたら返還請求出来る fact11: 仮になんらかのものは甘辛いならば「出世出来る」ということは本当だ fact12: この特記事項無しは開通しない fact13: もしも「あの動作主は及第するということはないけど射止める」ということは事実と異なるとするとこの特記事項無しは及第しない
fact6 & fact2 -> int1: 「あの正々堂々は十三階段であるがポスト現実主義でない」ということは成り立つということはない; fact5 -> int2: 仮に「あの正々堂々は十三階段である一方でポスト現実主義でない」ということは成り立たないとするとそれは射止める; int1 & int2 -> int3: あの正々堂々は射止める; fact4 -> int4: もし仮にあの正々堂々が射止めるなら返還請求出来る; int3 & int4 -> int5: あの正々堂々は返還請求出来る; int5 & fact7 -> hypothesis;
この特記事項無しは及第しない
$facts$ = fact1: その一草庵は抑制出来るということはない fact2: あの動作主は抑制出来るということはない fact3: 「この特記事項無しは十三階段である」ということは確かだ fact4: もしとある物が射止めるとするとそれは返還請求出来る fact5: もしも「とある物は十三階段であるがそれはポスト現実主義でない」ということは成り立たないならばそれは射止める fact6: もしもあの動作主は抑制出来るということはないなら「あの正々堂々は十三階段である一方でポスト現実主義でない」ということは誤りだ fact7: もし仮にあの正々堂々が返還請求出来るとするとこの特記事項無しは及第する fact8: もしもあの正々堂々は射止めないならば「あの動作主は抑制出来るがしかし及第しない」ということは成り立たない fact9: もしもとあるものはポスト現実主義だとしたら「及第する」ということは真実だ fact10: もしあの動作主が貧乏臭いとしたら返還請求出来る fact11: 仮になんらかのものは甘辛いならば「出世出来る」ということは本当だ fact12: この特記事項無しは開通しない fact13: もしも「あの動作主は及第するということはないけど射止める」ということは事実と異なるとするとこの特記事項無しは及第しない ; $hypothesis$ = この特記事項無しは及第しない ; $proof$ = 
fact6 & fact2 -> int1: 「あの正々堂々は十三階段であるがポスト現実主義でない」ということは成り立つということはない; fact5 -> int2: 仮に「あの正々堂々は十三階段である一方でポスト現実主義でない」ということは成り立たないとするとそれは射止める; int1 & int2 -> int3: あの正々堂々は射止める; fact4 -> int4: もし仮にあの正々堂々が射止めるなら返還請求出来る; int3 & int4 -> int5: あの正々堂々は返還請求出来る; int5 & fact7 -> hypothesis; __DISPROVED__
事実1: その一草庵は抑制出来るということはない
事実2: あの動作主は抑制出来るということはない
事実3: 「この特記事項無しは十三階段である」ということは確かだ
事実4: もしとある物が射止めるとするとそれは返還請求出来る
事実5: もしも「とある物は十三階段であるがそれはポスト現実主義でない」ということは成り立たないならばそれは射止める
事実6: もしもあの動作主は抑制出来るということはないなら「あの正々堂々は十三階段である一方でポスト現実主義でない」ということは誤りだ
事実7: もし仮にあの正々堂々が返還請求出来るとするとこの特記事項無しは及第する
事実8: もしもあの正々堂々は射止めないならば「あの動作主は抑制出来るがしかし及第しない」ということは成り立たない
事実9: もしもとあるものはポスト現実主義だとしたら「及第する」ということは真実だ
事実10: もしあの動作主が貧乏臭いとしたら返還請求出来る
事実11: 仮になんらかのものは甘辛いならば「出世出来る」ということは本当だ
事実12: この特記事項無しは開通しない
事実13: もしも「あの動作主は及第するということはないけど射止める」ということは事実と異なるとするとこの特記事項無しは及第しない

仮説: この特記事項無しは及第しない
1. 事実6と事実2から、推論1: "「あの正々堂々は十三階段であるがポスト現実主義でない」ということは成り立つということはない"が導かれる
2. 事実5から、推論2: "仮に「あの正々堂々は十三階段である一方でポスト現実主義でない」ということは成り立たないとするとそれは射止める"が導かれる
3. 推論1と推論2から、推論3: "あの正々堂々は射止める"が導かれる
4. 事実4から、推論4: "もし仮にあの正々堂々が射止めるなら返還請求出来る"が導かれる
5. 推論3と推論4から、推論5: "あの正々堂々は返還請求出来る"が導かれる
6. 推論5と事実7から、仮説が否定される

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