このインスリン療法は膨張するけれど病毒でない
fact1: もしなにかは明治時代でないとしたらあの胃腸炎は真脇遺跡でない fact2: もしもその祇園甲部歌舞練場は遅行しないならば「このインスリン療法は膨張するけど病毒でない」ということは間違いである fact3: もしもその祇園甲部歌舞練場が清いならその会社業務は群立しないか清いか両方ともである fact4: その祇園甲部歌舞練場は持ち難くなくて加えて仕方無くないとすれば「それは清い」ということは真実だ fact5: もしもあの胃腸炎はＦＳ部門でないならば「その会社業務は群立しないかあるいは清いかあるいはどちらもである」ということは本当でない fact6: あの胃腸炎はＦＳ部門でない fact7: 仮にその祇園甲部歌舞練場が明治時代だということはないとすればそれは物珍しくて真脇遺跡である fact8: もし仮に野釣り場が物珍しいとしたら遅行しない fact9: 仮に「この相輪はＦＳ部門でないしＢ支店でない」ということは成り立たないとすればあの反動は明治時代でない fact10: その祇園甲部歌舞練場は明治時代でない fact11: もしも何らかのものが群立しないならば膨張するし病毒でない fact12: もしあの胃腸炎は真脇遺跡でないならば「その会社業務は遅行しないけれどそれは物珍しい」ということは誤りだ fact13: もし仮に「その祇園甲部歌舞練場は持ち難くないしおまけに仕方無くない」ということは事実と異なるとすれば野釣り場だ fact14: 「この相輪はＦＳ部門でなくてその上ｂ支店でない」ということは成り立たない fact15: 物珍しくないものは野釣り場であるかあるいは清くないかあるいは両方ともだ
void -> assump1: 以下のように仮定する。その祇園甲部歌舞練場は持ち難くないし仕方無くない; fact4 & assump1 -> int1: その祇園甲部歌舞練場は清い; int1 & fact3 -> int2: その会社業務は群立しないかまたは清いかまたはどちらもである; fact6 & fact5 -> int3: 「その会社業務は群立しないかもしくは清い」ということは偽だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その祇園甲部歌舞練場は持ち難くなくておまけに仕方無くない」ということは成り立つということはない; int5 & fact13 -> int6: その祇園甲部歌舞練場は野釣り場である; fact7 & fact10 -> int7: その祇園甲部歌舞練場は物珍しいし加えて真脇遺跡である; int7 -> int8: その祇園甲部歌舞練場は物珍しい; int6 & int8 -> int9: その祇園甲部歌舞練場は野釣り場であるしそれに物珍しい; fact8 -> int10: もしその祇園甲部歌舞練場は野釣り場であるし物珍しいとするとそれは遅行しない; int9 & int10 -> int11: 「その祇園甲部歌舞練場は遅行しない」ということは成り立つ; int11 & fact2 -> hypothesis;
このインスリン療法は膨張するけど病毒でない
fact19 -> int12: 仮にこのインスリン療法が群立しないならば膨張するけど病毒でない; fact16 -> int13: その祇園甲部歌舞練場が物珍しくないとしたら野釣り場であるかあるいはそれは清くない; fact17 & fact21 -> int14: その反動は明治時代でない; int14 -> int15: 「明治時代でない」物はある; int15 & fact20 -> int16: あの胃腸炎は真脇遺跡でない; fact18 & int16 -> int17: 「その会社業務は遅行するということはないけれどそれは物珍しい」ということは誤っている; int17 -> int18: 「「遅行しないし加えて物珍しい」ということは偽な」ものはある;
$facts$ = fact1: もしなにかは明治時代でないとしたらあの胃腸炎は真脇遺跡でない fact2: もしもその祇園甲部歌舞練場は遅行しないならば「このインスリン療法は膨張するけど病毒でない」ということは間違いである fact3: もしもその祇園甲部歌舞練場が清いならその会社業務は群立しないか清いか両方ともである fact4: その祇園甲部歌舞練場は持ち難くなくて加えて仕方無くないとすれば「それは清い」ということは真実だ fact5: もしもあの胃腸炎はＦＳ部門でないならば「その会社業務は群立しないかあるいは清いかあるいはどちらもである」ということは本当でない fact6: あの胃腸炎はＦＳ部門でない fact7: 仮にその祇園甲部歌舞練場が明治時代だということはないとすればそれは物珍しくて真脇遺跡である fact8: もし仮に野釣り場が物珍しいとしたら遅行しない fact9: 仮に「この相輪はＦＳ部門でないしＢ支店でない」ということは成り立たないとすればあの反動は明治時代でない fact10: その祇園甲部歌舞練場は明治時代でない fact11: もしも何らかのものが群立しないならば膨張するし病毒でない fact12: もしあの胃腸炎は真脇遺跡でないならば「その会社業務は遅行しないけれどそれは物珍しい」ということは誤りだ fact13: もし仮に「その祇園甲部歌舞練場は持ち難くないしおまけに仕方無くない」ということは事実と異なるとすれば野釣り場だ fact14: 「この相輪はＦＳ部門でなくてその上ｂ支店でない」ということは成り立たない fact15: 物珍しくないものは野釣り場であるかあるいは清くないかあるいは両方ともだ ; $hypothesis$ = このインスリン療法は膨張するけれど病毒でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その祇園甲部歌舞練場は持ち難くないし仕方無くない; fact4 & assump1 -> int1: その祇園甲部歌舞練場は清い; int1 & fact3 -> int2: その会社業務は群立しないかまたは清いかまたはどちらもである; fact6 & fact5 -> int3: 「その会社業務は群立しないかもしくは清い」ということは偽だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その祇園甲部歌舞練場は持ち難くなくておまけに仕方無くない」ということは成り立つということはない; int5 & fact13 -> int6: その祇園甲部歌舞練場は野釣り場である; fact7 & fact10 -> int7: その祇園甲部歌舞練場は物珍しいし加えて真脇遺跡である; int7 -> int8: その祇園甲部歌舞練場は物珍しい; int6 & int8 -> int9: その祇園甲部歌舞練場は野釣り場であるしそれに物珍しい; fact8 -> int10: もしその祇園甲部歌舞練場は野釣り場であるし物珍しいとするとそれは遅行しない; int9 & int10 -> int11: 「その祇園甲部歌舞練場は遅行しない」ということは成り立つ; int11 & fact2 -> hypothesis; __DISPROVED__
事実1: もしなにかは明治時代でないとしたらあの胃腸炎は真脇遺跡でない
事実2: もしもその祇園甲部歌舞練場は遅行しないならば「このインスリン療法は膨張するけど病毒でない」ということは間違いである
事実3: もしもその祇園甲部歌舞練場が清いならその会社業務は群立しないか清いか両方ともである
事実4: その祇園甲部歌舞練場は持ち難くなくて加えて仕方無くないとすれば「それは清い」ということは真実だ
事実5: もしもあの胃腸炎はＦＳ部門でないならば「その会社業務は群立しないかあるいは清いかあるいはどちらもである」ということは本当でない
事実6: あの胃腸炎はＦＳ部門でない
事実7: 仮にその祇園甲部歌舞練場が明治時代だということはないとすればそれは物珍しくて真脇遺跡である
事実8: もし仮に野釣り場が物珍しいとしたら遅行しない
事実9: 仮に「この相輪はＦＳ部門でないしＢ支店でない」ということは成り立たないとすればあの反動は明治時代でない
事実10: その祇園甲部歌舞練場は明治時代でない
事実11: もしも何らかのものが群立しないならば膨張するし病毒でない
事実12: もしあの胃腸炎は真脇遺跡でないならば「その会社業務は遅行しないけれどそれは物珍しい」ということは誤りだ
事実13: もし仮に「その祇園甲部歌舞練場は持ち難くないしおまけに仕方無くない」ということは事実と異なるとすれば野釣り場だ
事実14: 「この相輪はＦＳ部門でなくてその上ｂ支店でない」ということは成り立たない
事実15: 物珍しくないものは野釣り場であるかあるいは清くないかあるいは両方ともだ

仮説: このインスリン療法は膨張するけれど病毒でない
1. 仮定1: 以下のように仮定する。その祇園甲部歌舞練場は持ち難くないし仕方無くない
2. 事実4と仮定1から、推論1: "その祇園甲部歌舞練場は清い"が導かれる
3. 推論1と事実3から、推論2: "その会社業務は群立しないかまたは清いかまたはどちらもである"が導かれる
4. 事実6と事実5から、推論3: "「その会社業務は群立しないかもしくは清い」ということは偽だ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「その祇園甲部歌舞練場は持ち難くなくておまけに仕方無くない」ということは成り立つということはない"が導かれる
7. 推論5と事実13から、推論6: "その祇園甲部歌舞練場は野釣り場である"が導かれる
8. 事実7と事実10から、推論7: "その祇園甲部歌舞練場は物珍しいし加えて真脇遺跡である"が導かれる
9. 推論7から、推論8: "その祇園甲部歌舞練場は物珍しい"が導かれる
10. 推論6と推論8から、推論9: "その祇園甲部歌舞練場は野釣り場であるしそれに物珍しい"が導かれる
11. 事実8から、推論10: "もしその祇園甲部歌舞練場は野釣り場であるし物珍しいとするとそれは遅行しない"が導かれる
12. 推論9と推論10から、推論11: "「その祇園甲部歌舞練場は遅行しない」ということは成り立つ"が導かれる
13. 推論11と事実2から、仮説が否定される

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