この草魚さんは借地借家でない
fact1: 仮にあの酵素標識抗体法が取れ難いならばあの玉蜀黍畑は悪化する fact2: もしもこの玉蜀黍畑が悪化すればこの草魚さんは借地借家だ fact3: あの酵素標識抗体法がＩＰ電話機であるか移さないとすると「この水揚げはＩＰ電話機でない」ということは事実と異ならない fact4: なんらかのものは借地借家でないならば「悪化するが取れ難くない」ということは間違っている fact5: 仮にある物が定立しないとすればＩＰ電話機であるかあるいは移さないかどちらもである fact6: もしあの酵素標識抗体法は人懐っこくないとしたら「悪化するということはない一方で捏ねくる」ということは嘘だ fact7: もし「あの酵素標識抗体法は忍耐強くないけど捏ねくる」ということは嘘ならその家柄は人懐っこい fact8: もしもあの酵素標識抗体法が人懐っこくないとすればその家柄はＩＰ電話機だ fact9: もし仮にあの酵素標識抗体法は取れ難くないとすれば「忍耐強くない一方で捏ねくる」ということは偽である fact10: あるものが連れ戻すし加えてＩＰ電話機であるなら人懐っこいということはない fact11: 「その家柄は連れ戻す」ということは事実である fact12: もしも「とある物は悪化するけれど取れ難くない」ということは成り立たないとすれば「それは人懐っこい」ということは事実である fact13: もし仮に何らかの物はＩＰ電話機であるということはないとすれば「連れ戻すしおまけにそれは借地借家である」ということは誤りである fact14: もしもこの玉蜀黍畑が此れ等組織でないししかもアセトンでないとすればその家柄は自社株式でない fact15: もしも「その家柄は出社しないけれど観光事業である」ということは事実だということはないとするとあの酵素標識抗体法は定立しない fact16: その家柄はＩＰ電話機である fact17: もしもその家柄は自社株式だということはないとしたら「出社しなくてそれは観光事業だ」ということは成り立たない fact18: 仮に「ある物は連れ戻すしそれは借地借家である」ということは間違いなら借地借家でない
void -> assump1: 以下のように仮定する。あの酵素標識抗体法は取れ難くない; fact9 & assump1 -> int1: 「あの酵素標識抗体法は忍耐強くない一方で捏ねくる」ということは成り立たない; int1 & fact7 -> int2: その家柄は人懐っこい; fact10 -> int3: もしその家柄が連れ戻すしかつそれはＩＰ電話機であるとすると人懐っこくない; fact11 & fact16 -> int4: その家柄は連れ戻すしまたＩＰ電話機だ; int3 & int4 -> int5: その家柄は人懐っこくない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの酵素標識抗体法は取れ難い; int7 & fact1 -> int8: 「この玉蜀黍畑は悪化する」ということは成り立つ; int8 & fact2 -> hypothesis;
この水揚げは人懐っこい
fact20 -> int9: 「この水揚げは悪化するけれどそれは取れ難くない」ということは成り立たないならば人懐っこい; fact23 -> int10: 仮にこの水揚げは借地借家であるということはないなら「悪化するし加えて取れ難くない」ということは嘘だ; fact24 -> int11: もしも「この水揚げは連れ戻すし借地借家だ」ということは成り立たないとしたら借地借家でない; fact26 -> int12: 仮にこの水揚げはＩＰ電話機でないとすると「連れ戻すしそれは借地借家だ」ということは成り立たない; fact21 -> int13: もし「あの酵素標識抗体法は定立しない」ということは本当ならそれはＩＰ電話機であるかまたは移さない;
$facts$ = fact1: 仮にあの酵素標識抗体法が取れ難いならばあの玉蜀黍畑は悪化する fact2: もしもこの玉蜀黍畑が悪化すればこの草魚さんは借地借家だ fact3: あの酵素標識抗体法がＩＰ電話機であるか移さないとすると「この水揚げはＩＰ電話機でない」ということは事実と異ならない fact4: なんらかのものは借地借家でないならば「悪化するが取れ難くない」ということは間違っている fact5: 仮にある物が定立しないとすればＩＰ電話機であるかあるいは移さないかどちらもである fact6: もしあの酵素標識抗体法は人懐っこくないとしたら「悪化するということはない一方で捏ねくる」ということは嘘だ fact7: もし「あの酵素標識抗体法は忍耐強くないけど捏ねくる」ということは嘘ならその家柄は人懐っこい fact8: もしもあの酵素標識抗体法が人懐っこくないとすればその家柄はＩＰ電話機だ fact9: もし仮にあの酵素標識抗体法は取れ難くないとすれば「忍耐強くない一方で捏ねくる」ということは偽である fact10: あるものが連れ戻すし加えてＩＰ電話機であるなら人懐っこいということはない fact11: 「その家柄は連れ戻す」ということは事実である fact12: もしも「とある物は悪化するけれど取れ難くない」ということは成り立たないとすれば「それは人懐っこい」ということは事実である fact13: もし仮に何らかの物はＩＰ電話機であるということはないとすれば「連れ戻すしおまけにそれは借地借家である」ということは誤りである fact14: もしもこの玉蜀黍畑が此れ等組織でないししかもアセトンでないとすればその家柄は自社株式でない fact15: もしも「その家柄は出社しないけれど観光事業である」ということは事実だということはないとするとあの酵素標識抗体法は定立しない fact16: その家柄はＩＰ電話機である fact17: もしもその家柄は自社株式だということはないとしたら「出社しなくてそれは観光事業だ」ということは成り立たない fact18: 仮に「ある物は連れ戻すしそれは借地借家である」ということは間違いなら借地借家でない ; $hypothesis$ = この草魚さんは借地借家でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの酵素標識抗体法は取れ難くない; fact9 & assump1 -> int1: 「あの酵素標識抗体法は忍耐強くない一方で捏ねくる」ということは成り立たない; int1 & fact7 -> int2: その家柄は人懐っこい; fact10 -> int3: もしその家柄が連れ戻すしかつそれはＩＰ電話機であるとすると人懐っこくない; fact11 & fact16 -> int4: その家柄は連れ戻すしまたＩＰ電話機だ; int3 & int4 -> int5: その家柄は人懐っこくない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの酵素標識抗体法は取れ難い; int7 & fact1 -> int8: 「この玉蜀黍畑は悪化する」ということは成り立つ; int8 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮にあの酵素標識抗体法が取れ難いならばあの玉蜀黍畑は悪化する
事実2: もしもこの玉蜀黍畑が悪化すればこの草魚さんは借地借家だ
事実3: あの酵素標識抗体法がＩＰ電話機であるか移さないとすると「この水揚げはＩＰ電話機でない」ということは事実と異ならない
事実4: なんらかのものは借地借家でないならば「悪化するが取れ難くない」ということは間違っている
事実5: 仮にある物が定立しないとすればＩＰ電話機であるかあるいは移さないかどちらもである
事実6: もしあの酵素標識抗体法は人懐っこくないとしたら「悪化するということはない一方で捏ねくる」ということは嘘だ
事実7: もし「あの酵素標識抗体法は忍耐強くないけど捏ねくる」ということは嘘ならその家柄は人懐っこい
事実8: もしもあの酵素標識抗体法が人懐っこくないとすればその家柄はＩＰ電話機だ
事実9: もし仮にあの酵素標識抗体法は取れ難くないとすれば「忍耐強くない一方で捏ねくる」ということは偽である
事実10: あるものが連れ戻すし加えてＩＰ電話機であるなら人懐っこいということはない
事実11: 「その家柄は連れ戻す」ということは事実である
事実12: もしも「とある物は悪化するけれど取れ難くない」ということは成り立たないとすれば「それは人懐っこい」ということは事実である
事実13: もし仮に何らかの物はＩＰ電話機であるということはないとすれば「連れ戻すしおまけにそれは借地借家である」ということは誤りである
事実14: もしもこの玉蜀黍畑が此れ等組織でないししかもアセトンでないとすればその家柄は自社株式でない
事実15: もしも「その家柄は出社しないけれど観光事業である」ということは事実だということはないとするとあの酵素標識抗体法は定立しない
事実16: その家柄はＩＰ電話機である
事実17: もしもその家柄は自社株式だということはないとしたら「出社しなくてそれは観光事業だ」ということは成り立たない
事実18: 仮に「ある物は連れ戻すしそれは借地借家である」ということは間違いなら借地借家でない

仮説: この草魚さんは借地借家でない
1. 仮定1: 以下のように仮定する。あの酵素標識抗体法は取れ難くない
2. 事実9と仮定1から、推論1: "「あの酵素標識抗体法は忍耐強くない一方で捏ねくる」ということは成り立たない"が導かれる
3. 推論1と事実7から、推論2: "その家柄は人懐っこい"が導かれる
4. 事実10から、推論3: "もしその家柄が連れ戻すしかつそれはＩＰ電話機であるとすると人懐っこくない"が導かれる
5. 事実11と事実16から、推論4: "その家柄は連れ戻すしまたＩＰ電話機だ"が導かれる
6. 推論3と推論4から、推論5: "その家柄は人懐っこくない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの酵素標識抗体法は取れ難い"が導かれる
9. 推論7と事実1から、推論8: "「この玉蜀黍畑は悪化する」ということは成り立つ"が導かれる
10. 推論8と事実2から、仮説が否定される

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