あのわらび型は無毒化する
fact1: もしこの寄せがインテリゲンチャならばそれは無毒化する fact2: このパネルデータ分析は吸収され易い fact3: この短期化は立ち往生する fact4: このＭＰＯＡは吸収され易くないならば「あの調査審議は石持でないしさらに餅搗きであるということはない」ということは偽である fact5: あの調査審議は石持だ fact6: あの調査審議は吸収され易い fact7: あのわらび型は立ち往生する fact8: もし「あのわらび型は立ち往生する」ということは正しいならばそれは餅搗きである fact9: もし仮にあの調査審議が吸収され易いとするとあのわらび型は石持である fact10: その大連合政権は餅搗きだ fact11: もし仮に餅搗きが石持だとすれば無毒化しない fact12: あのわらび型は粘り強いしそれは持ち帰る
fact8 & fact7 -> int1: 「あのわらび型は餅搗きである」ということは成り立つ; fact6 & fact9 -> int2: 「あのわらび型は石持だ」ということは成り立つ; int1 & int2 -> int3: あのわらび型は餅搗きであるし石持である; fact11 -> int4: あのわらび型が餅搗きであるし加えてそれが石持なら無毒化しない; int3 & int4 -> hypothesis;
fact8 & fact7 -> int1: {B}{a}; fact6 & fact9 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); fact11 -> int4: ({B}{a} & {C}{a}) -> ¬{D}{a}; int3 & int4 -> hypothesis;
あのわらび型は無毒化する
$facts$ = fact1: もしこの寄せがインテリゲンチャならばそれは無毒化する fact2: このパネルデータ分析は吸収され易い fact3: この短期化は立ち往生する fact4: このＭＰＯＡは吸収され易くないならば「あの調査審議は石持でないしさらに餅搗きであるということはない」ということは偽である fact5: あの調査審議は石持だ fact6: あの調査審議は吸収され易い fact7: あのわらび型は立ち往生する fact8: もし「あのわらび型は立ち往生する」ということは正しいならばそれは餅搗きである fact9: もし仮にあの調査審議が吸収され易いとするとあのわらび型は石持である fact10: その大連合政権は餅搗きだ fact11: もし仮に餅搗きが石持だとすれば無毒化しない fact12: あのわらび型は粘り強いしそれは持ち帰る ; $hypothesis$ = あのわらび型は無毒化する ; $proof$ = 
fact8 & fact7 -> int1: 「あのわらび型は餅搗きである」ということは成り立つ; fact6 & fact9 -> int2: 「あのわらび型は石持だ」ということは成り立つ; int1 & int2 -> int3: あのわらび型は餅搗きであるし石持である; fact11 -> int4: あのわらび型が餅搗きであるし加えてそれが石持なら無毒化しない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしこの寄せがインテリゲンチャならばそれは無毒化する
事実2: このパネルデータ分析は吸収され易い
事実3: この短期化は立ち往生する
事実4: このＭＰＯＡは吸収され易くないならば「あの調査審議は石持でないしさらに餅搗きであるということはない」ということは偽である
事実5: あの調査審議は石持だ
事実6: あの調査審議は吸収され易い
事実7: あのわらび型は立ち往生する
事実8: もし「あのわらび型は立ち往生する」ということは正しいならばそれは餅搗きである
事実9: もし仮にあの調査審議が吸収され易いとするとあのわらび型は石持である
事実10: その大連合政権は餅搗きだ
事実11: もし仮に餅搗きが石持だとすれば無毒化しない
事実12: あのわらび型は粘り強いしそれは持ち帰る

仮説: あのわらび型は無毒化する
1. 事実8と事実7から、推論1: "「あのわらび型は餅搗きである」ということは成り立つ"が導かれる
2. 事実6と事実9から、推論2: "「あのわらび型は石持だ」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "あのわらび型は餅搗きであるし石持である"が導かれる
4. 事実11から、推論4: "あのわらび型が餅搗きであるし加えてそれが石持なら無毒化しない"が導かれる
5. 推論3と推論4から、仮説が否定される

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