この試験状況は死守する
fact1: 「この市制は江南各地であるということはないがそれは尊い」ということは嘘であるなら「この試験状況は後らしくない」ということは確かである fact2: 仮になんらかのものは発症し易いけど落ち掛けないとしたらそれは越えない fact3: 仮に飛行機らしい物は相互訪問でないとするとそれは生まれ始めない fact4: その上場時価総額は江南各地だということはない fact5: もしその上場時価総額がＢワンでないとすればこの試験状況は尊くないしその上江南各地でない fact6: その上場時価総額がＢワンでないとすればあの試験状況は尊くない fact7: もしもなにがしかの物がＢワンだということはないならば落ち掛けない fact8: もしもＢワンが落ち掛けないとすると越えない fact9: 「この中軍医は落ち掛けない一方で越える」ということは偽だ fact10: この試験状況は分厚くないしさらに後らしくない fact11: 「この試験状況は死守するということはないがしかしそれはＢワンである」ということは間違っている fact12: もしこの市制は後らしくないとすれば「そのフォントコードは落ち掛けない」ということは事実だ fact13: もしもこの中軍医は無理無くないとすると「それは後らしくない」ということは誤りでない fact14: もし仮にそのフォントコードは越えないとしたら「この中軍医は無理無くないがしかし越える」ということは誤っている fact15: もしも「そのフォントコードは越えない」ということは正しいとすると「この中軍医は無理無いししかもそれは越える」ということは間違いである fact16: あの罪意識は後らしくないしそれに意義深くない fact17: そのフォントコードが落ち掛けないとすればこの試験状況は越えるということはなくてかつ尊くない fact18: そのフォントコードはＢワンでない fact19: この市制は後らしくない fact20: もし仮にある物は江南各地でないとすると死守しない fact21: 「この中軍医は無理無くないけれど越える」ということは誤っているとしたらその上場時価総額はＢワンでない fact22: 「この中軍医は無理無いし越える」ということは成り立たない fact23: 仮にそのフォントコードが発症し易くてそれが落ち掛けるとすれば越えない fact24: この試験状況は尊くない fact25: もし仮にこの市制が後らしくないならそのフォントコードは発症し易い一方で落ち掛けない
fact25 & fact19 -> int1: そのフォントコードは発症し易いがしかし落ち掛けない; fact2 -> int2: もしそのフォントコードは発症し易いけど落ち掛けないならばそれは越えない; int1 & int2 -> int3: そのフォントコードは越えない; int3 & fact14 -> int4: 「「この中軍医は無理無くないが越える」ということは事実だ」ということは事実と異なる; int4 & fact21 -> int5: その上場時価総額はＢワンだということはない; int5 & fact5 -> int6: この試験状況は尊くないしかつそれは江南各地でない; int6 -> int7: この試験状況は江南各地でない; fact20 -> int8: もしもこの試験状況は江南各地でないとすると死守するということはない; int7 & int8 -> 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: 仮にそのフォントコードが発症し易くてそれが落ち掛けるとすれば越えない fact24: この試験状況は尊くない fact25: もし仮にこの市制が後らしくないならそのフォントコードは発症し易い一方で落ち掛けない ; $hypothesis$ = この試験状況は死守する ; $proof$ = 
fact25 & fact19 -> int1: そのフォントコードは発症し易いがしかし落ち掛けない; fact2 -> int2: もしそのフォントコードは発症し易いけど落ち掛けないならばそれは越えない; int1 & int2 -> int3: そのフォントコードは越えない; int3 & fact14 -> int4: 「「この中軍医は無理無くないが越える」ということは事実だ」ということは事実と異なる; int4 & fact21 -> int5: その上場時価総額はＢワンだということはない; int5 & fact5 -> int6: この試験状況は尊くないしかつそれは江南各地でない; int6 -> int7: この試験状況は江南各地でない; fact20 -> int8: もしもこの試験状況は江南各地でないとすると死守するということはない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 「この市制は江南各地であるということはないがそれは尊い」ということは嘘であるなら「この試験状況は後らしくない」ということは確かである
事実2: 仮になんらかのものは発症し易いけど落ち掛けないとしたらそれは越えない
事実3: 仮に飛行機らしい物は相互訪問でないとするとそれは生まれ始めない
事実4: その上場時価総額は江南各地だということはない
事実5: もしその上場時価総額がＢワンでないとすればこの試験状況は尊くないしその上江南各地でない
事実6: その上場時価総額がＢワンでないとすればあの試験状況は尊くない
事実7: もしもなにがしかの物がＢワンだということはないならば落ち掛けない
事実8: もしもＢワンが落ち掛けないとすると越えない
事実9: 「この中軍医は落ち掛けない一方で越える」ということは偽だ
事実10: この試験状況は分厚くないしさらに後らしくない
事実11: 「この試験状況は死守するということはないがしかしそれはＢワンである」ということは間違っている
事実12: もしこの市制は後らしくないとすれば「そのフォントコードは落ち掛けない」ということは事実だ
事実13: もしもこの中軍医は無理無くないとすると「それは後らしくない」ということは誤りでない
事実14: もし仮にそのフォントコードは越えないとしたら「この中軍医は無理無くないがしかし越える」ということは誤っている
事実15: もしも「そのフォントコードは越えない」ということは正しいとすると「この中軍医は無理無いししかもそれは越える」ということは間違いである
事実16: あの罪意識は後らしくないしそれに意義深くない
事実17: そのフォントコードが落ち掛けないとすればこの試験状況は越えるということはなくてかつ尊くない
事実18: そのフォントコードはＢワンでない
事実19: この市制は後らしくない
事実20: もし仮にある物は江南各地でないとすると死守しない
事実21: 「この中軍医は無理無くないけれど越える」ということは誤っているとしたらその上場時価総額はＢワンでない
事実22: 「この中軍医は無理無いし越える」ということは成り立たない
事実23: 仮にそのフォントコードが発症し易くてそれが落ち掛けるとすれば越えない
事実24: この試験状況は尊くない
事実25: もし仮にこの市制が後らしくないならそのフォントコードは発症し易い一方で落ち掛けない

仮説: この試験状況は死守する
1. 事実25と事実19から、推論1: "そのフォントコードは発症し易いがしかし落ち掛けない"が導かれる
2. 事実2から、推論2: "もしそのフォントコードは発症し易いけど落ち掛けないならばそれは越えない"が導かれる
3. 推論1と推論2から、推論3: "そのフォントコードは越えない"が導かれる
4. 推論3と事実14から、推論4: "「「この中軍医は無理無くないが越える」ということは事実だ」ということは事実と異なる"が導かれる
5. 推論4と事実21から、推論5: "その上場時価総額はＢワンだということはない"が導かれる
6. 推論5と事実5から、推論6: "この試験状況は尊くないしかつそれは江南各地でない"が導かれる
7. 推論6から、推論7: "この試験状況は江南各地でない"が導かれる
8. 事実20から、推論8: "もしもこの試験状況は江南各地でないとすると死守するということはない"が導かれる
9. 推論7と推論8から、仮説が否定される

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