このポリヌクレオチドは起こし易くない
fact1: その実行可能コードは伺候しない fact2: 仮にその農家率が刺繍入りだとするとこのポリヌクレオチドは起こし易い fact3: もしもこの廃絶不可能派はＴＡＫＡであるとしたら「この算定基礎は握り易い」ということは成り立つ fact4: 仮に「この廃絶不可能派は起こし易くてさらに袖下である」ということは偽であるとすればこのポリヌクレオチドは起こし易くない fact5: もしもその実行可能コードは伺候しないとすれば「この算定基礎は生活し易い一方でめぼしくない」ということは成り立たない fact6: この異境は伺候しない fact7: もし仮にこの算定基礎が握り易い一方で珍しかないならばあの農家率は刺繍入りだ fact8: 「袖下であるし加えて堪え得ない」ものはある fact9: もし袖下が堪え得ないとしたらこの廃絶不可能派はＴＡＫＡである fact10: 「ある物は生活し易いけどめぼしくない」ということは成り立たないとしたらそれは珍しかない
fact8 & fact9 -> int1: この廃絶不可能派はＴＡＫＡである; int1 & fact3 -> int2: 「この算定基礎は握り易い」ということは事実だ; fact5 & fact1 -> int3: 「この算定基礎は生活し易いけどめぼしくない」ということは事実と異なる; fact10 -> int4: もし「この算定基礎は生活し易いけどめぼしくない」ということは間違っているとしたらそれは珍しいということはない; int3 & int4 -> int5: この算定基礎は珍しかない; int2 & int5 -> int6: 「この算定基礎は握り易い一方でそれは珍しかない」ということは成り立つ; int6 & fact7 -> int7: その農家率は刺繍入りだ; int7 & fact2 -> hypothesis;
このポリヌクレオチドは起こし易くない
$facts$ = fact1: その実行可能コードは伺候しない fact2: 仮にその農家率が刺繍入りだとするとこのポリヌクレオチドは起こし易い fact3: もしもこの廃絶不可能派はＴＡＫＡであるとしたら「この算定基礎は握り易い」ということは成り立つ fact4: 仮に「この廃絶不可能派は起こし易くてさらに袖下である」ということは偽であるとすればこのポリヌクレオチドは起こし易くない fact5: もしもその実行可能コードは伺候しないとすれば「この算定基礎は生活し易い一方でめぼしくない」ということは成り立たない fact6: この異境は伺候しない fact7: もし仮にこの算定基礎が握り易い一方で珍しかないならばあの農家率は刺繍入りだ fact8: 「袖下であるし加えて堪え得ない」ものはある fact9: もし袖下が堪え得ないとしたらこの廃絶不可能派はＴＡＫＡである fact10: 「ある物は生活し易いけどめぼしくない」ということは成り立たないとしたらそれは珍しかない ; $hypothesis$ = このポリヌクレオチドは起こし易くない ; $proof$ = 
fact8 & fact9 -> int1: この廃絶不可能派はＴＡＫＡである; int1 & fact3 -> int2: 「この算定基礎は握り易い」ということは事実だ; fact5 & fact1 -> int3: 「この算定基礎は生活し易いけどめぼしくない」ということは事実と異なる; fact10 -> int4: もし「この算定基礎は生活し易いけどめぼしくない」ということは間違っているとしたらそれは珍しいということはない; int3 & int4 -> int5: この算定基礎は珍しかない; int2 & int5 -> int6: 「この算定基礎は握り易い一方でそれは珍しかない」ということは成り立つ; int6 & fact7 -> int7: その農家率は刺繍入りだ; int7 & fact2 -> hypothesis; __DISPROVED__
事実1: その実行可能コードは伺候しない
事実2: 仮にその農家率が刺繍入りだとするとこのポリヌクレオチドは起こし易い
事実3: もしもこの廃絶不可能派はＴＡＫＡであるとしたら「この算定基礎は握り易い」ということは成り立つ
事実4: 仮に「この廃絶不可能派は起こし易くてさらに袖下である」ということは偽であるとすればこのポリヌクレオチドは起こし易くない
事実5: もしもその実行可能コードは伺候しないとすれば「この算定基礎は生活し易い一方でめぼしくない」ということは成り立たない
事実6: この異境は伺候しない
事実7: もし仮にこの算定基礎が握り易い一方で珍しかないならばあの農家率は刺繍入りだ
事実8: 「袖下であるし加えて堪え得ない」ものはある
事実9: もし袖下が堪え得ないとしたらこの廃絶不可能派はＴＡＫＡである
事実10: 「ある物は生活し易いけどめぼしくない」ということは成り立たないとしたらそれは珍しかない

仮説: このポリヌクレオチドは起こし易くない
1. 事実8と事実9から、推論1: "この廃絶不可能派はＴＡＫＡである"が導かれる
2. 推論1と事実3から、推論2: "「この算定基礎は握り易い」ということは事実だ"が導かれる
3. 事実5と事実1から、推論3: "「この算定基礎は生活し易いけどめぼしくない」ということは事実と異なる"が導かれる
4. 事実10から、推論4: "もし「この算定基礎は生活し易いけどめぼしくない」ということは間違っているとしたらそれは珍しいということはない"が導かれる
5. 推論3と推論4から、推論5: "この算定基礎は珍しかない"が導かれる
6. 推論2と推論5から、推論6: "「この算定基礎は握り易い一方でそれは珍しかない」ということは成り立つ"が導かれる
7. 推論6と事実7から、推論7: "その農家率は刺繍入りだ"が導かれる
8. 推論7と事実2から、仮説が否定される

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