「その十世紀前半は湛水しない」ということは真実である
fact1: あの胃腸機能調整薬は湛水するがしかしそれは食べ終わらない fact2: 「あの胃腸機能調整薬は賑々しいが湛水しない」ということは成り立たない fact3: 「あの胃腸機能調整薬は球場だ」ということは成り立つ fact4: もしも何かは空輸しないならばそれは湛水しないけど判別出来る fact5: もしもその十世紀前半が湛水しないとしたらあの胃腸機能調整薬は賑々しいがしかしそれは食べ終わらない fact6: もし仮にその十世紀前半が湛水しないとするとあの胃腸機能調整薬は食べ終わらない fact7: その第二次大戦時はＱＣＴ法であるがしかしそれは度外視しない fact8: あの胃腸機能調整薬は食べ終わらない fact9: もし「何かは大人しし判別出来る」ということは成り立つということはないなら判別出来ない fact10: 「あの胃腸機能調整薬は賑々しいししかも食べ終わる」ということは成り立たない fact11: 「あの胃腸機能調整薬は食べ終わるがしかし湛水するということはない」ということは成り立たない fact12: 仮にその十世紀前半が湛水しない一方で判別出来るとしたらそのロータリーは湛水する fact13: その十世紀前半は食べ終わる fact14: 仮にある物は大人しなら「それは抑圧しない一方で空輸する」ということは嘘だ fact15: もしも「あの胃腸機能調整薬は抑圧しないけれど空輸する」ということは確かだということはないとすれば「その十世紀前半は空輸しない」ということは間違いでない fact16: 「あの胃腸機能調整薬は賑々しいが食べ終わらない」ということは間違いである fact17: もしもその十世紀前半は判別出来ないならば「それは湛水するし加えて空輸する」ということは嘘だ fact18: もし「なにがしかの物は湛水するしまた空輸する」ということは誤りであるなら湛水しない
void -> assump1: 以下のように仮定する。その十世紀前半は湛水しない; fact5 & assump1 -> int1: あの胃腸機能調整薬は賑々しいけど食べ終わらない; int1 & fact16 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: ¬{A}{a}; fact5 & assump1 -> int1: ({AA}{b} & ¬{AB}{b}); int1 & fact16 -> int2: #F#; [assump1] & int2 -> hypothesis;
そのロータリーは賑々しい
fact20 -> int3: 仮にその十世紀前半が空輸するということはないとするとそれは湛水しないしおまけに判別出来る; fact21 -> int4: 仮にあの重ね塗りは大人しとすれば「抑圧しないけど空輸する」ということは偽だ;
$facts$ = fact1: あの胃腸機能調整薬は湛水するがしかしそれは食べ終わらない fact2: 「あの胃腸機能調整薬は賑々しいが湛水しない」ということは成り立たない fact3: 「あの胃腸機能調整薬は球場だ」ということは成り立つ fact4: もしも何かは空輸しないならばそれは湛水しないけど判別出来る fact5: もしもその十世紀前半が湛水しないとしたらあの胃腸機能調整薬は賑々しいがしかしそれは食べ終わらない fact6: もし仮にその十世紀前半が湛水しないとするとあの胃腸機能調整薬は食べ終わらない fact7: その第二次大戦時はＱＣＴ法であるがしかしそれは度外視しない fact8: あの胃腸機能調整薬は食べ終わらない fact9: もし「何かは大人しし判別出来る」ということは成り立つということはないなら判別出来ない fact10: 「あの胃腸機能調整薬は賑々しいししかも食べ終わる」ということは成り立たない fact11: 「あの胃腸機能調整薬は食べ終わるがしかし湛水するということはない」ということは成り立たない fact12: 仮にその十世紀前半が湛水しない一方で判別出来るとしたらそのロータリーは湛水する fact13: その十世紀前半は食べ終わる fact14: 仮にある物は大人しなら「それは抑圧しない一方で空輸する」ということは嘘だ fact15: もしも「あの胃腸機能調整薬は抑圧しないけれど空輸する」ということは確かだということはないとすれば「その十世紀前半は空輸しない」ということは間違いでない fact16: 「あの胃腸機能調整薬は賑々しいが食べ終わらない」ということは間違いである fact17: もしもその十世紀前半は判別出来ないならば「それは湛水するし加えて空輸する」ということは嘘だ fact18: もし「なにがしかの物は湛水するしまた空輸する」ということは誤りであるなら湛水しない ; $hypothesis$ = 「その十世紀前半は湛水しない」ということは真実である ; $proof$ = 
void -> assump1: 以下のように仮定する。その十世紀前半は湛水しない; fact5 & assump1 -> int1: あの胃腸機能調整薬は賑々しいけど食べ終わらない; int1 & fact16 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: あの胃腸機能調整薬は湛水するがしかしそれは食べ終わらない
事実2: 「あの胃腸機能調整薬は賑々しいが湛水しない」ということは成り立たない
事実3: 「あの胃腸機能調整薬は球場だ」ということは成り立つ
事実4: もしも何かは空輸しないならばそれは湛水しないけど判別出来る
事実5: もしもその十世紀前半が湛水しないとしたらあの胃腸機能調整薬は賑々しいがしかしそれは食べ終わらない
事実6: もし仮にその十世紀前半が湛水しないとするとあの胃腸機能調整薬は食べ終わらない
事実7: その第二次大戦時はＱＣＴ法であるがしかしそれは度外視しない
事実8: あの胃腸機能調整薬は食べ終わらない
事実9: もし「何かは大人しし判別出来る」ということは成り立つということはないなら判別出来ない
事実10: 「あの胃腸機能調整薬は賑々しいししかも食べ終わる」ということは成り立たない
事実11: 「あの胃腸機能調整薬は食べ終わるがしかし湛水するということはない」ということは成り立たない
事実12: 仮にその十世紀前半が湛水しない一方で判別出来るとしたらそのロータリーは湛水する
事実13: その十世紀前半は食べ終わる
事実14: 仮にある物は大人しなら「それは抑圧しない一方で空輸する」ということは嘘だ
事実15: もしも「あの胃腸機能調整薬は抑圧しないけれど空輸する」ということは確かだということはないとすれば「その十世紀前半は空輸しない」ということは間違いでない
事実16: 「あの胃腸機能調整薬は賑々しいが食べ終わらない」ということは間違いである
事実17: もしもその十世紀前半は判別出来ないならば「それは湛水するし加えて空輸する」ということは嘘だ
事実18: もし「なにがしかの物は湛水するしまた空輸する」ということは誤りであるなら湛水しない

仮説: 「その十世紀前半は湛水しない」ということは真実である
1. 仮定1: 以下のように仮定する。その十世紀前半は湛水しない
2. 事実5と仮定1から、推論1: "あの胃腸機能調整薬は賑々しいけど食べ終わらない"が導かれる
3. 推論1と事実16から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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