あのミネラル類は御持ち帰り下さらない
fact1: もしその暫定球が説明し易いとすればこのＹＡＧは顕在する fact2: このメチル基が御持ち帰り下さるならあのミネラル類は御持ち帰り下さらない fact3: 仮にとある物が吊るし上げないとすると運び易いということはないしさらにそれは説明し易くない fact4: 仮にこの関税が一車種でないとすればそれは直言しないしおまけにそれは頼み込まない fact5: あのミネラル類は考え深くなくてそれに幼くない fact6: この絶版が運び易くなくて説明し易くないとするとその暫定球は説明し易い fact7: この愛国婦人会は生き抜けるなら「あの院長は上げ下げするか手堅くないかあるいは両方ともである」ということは間違っている fact8: もし仮にとある物は安くないしまた外核でないとすればそれは移り易い fact9: 「仮に当たり易いということはないものが議論しないとすれば香しい」ということは成り立つ fact10: あのミネラル類は頼み込まない fact11: もしも敢え無いということはないものはしゃあ無くないならば「御持ち帰り下さる」ということは本当である fact12: その脳血管疾患は頼み込まない fact13: あのミネラル類が頼み込まないとすれば敢え無くないししゃあ無くない fact14: この愛国婦人会は生き抜ける
fact11 -> int1: もし仮にあのミネラル類は敢え無くないしその上しゃあ無くないならば「御持ち帰り下さる」ということは確かである; fact13 & fact10 -> int2: あのミネラル類は敢え無くないししゃあ無くない; int1 & int2 -> hypothesis;
fact11 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact13 & fact10 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
あのミネラル類は御持ち帰り下さらない
fact20 -> int3: もし仮にこの絶版が吊るし上げないとすると運び易くなくて説明し易くない; fact16 & fact19 -> int4: 「あの院長は上げ下げするかもしくは手堅くないかあるいは両方ともだ」ということは成り立つということはない; int4 -> int5: 「「上げ下げするかまたは手堅くない」ということは間違いな」ものはある;
$facts$ = fact1: もしその暫定球が説明し易いとすればこのＹＡＧは顕在する fact2: このメチル基が御持ち帰り下さるならあのミネラル類は御持ち帰り下さらない fact3: 仮にとある物が吊るし上げないとすると運び易いということはないしさらにそれは説明し易くない fact4: 仮にこの関税が一車種でないとすればそれは直言しないしおまけにそれは頼み込まない fact5: あのミネラル類は考え深くなくてそれに幼くない fact6: この絶版が運び易くなくて説明し易くないとするとその暫定球は説明し易い fact7: この愛国婦人会は生き抜けるなら「あの院長は上げ下げするか手堅くないかあるいは両方ともである」ということは間違っている fact8: もし仮にとある物は安くないしまた外核でないとすればそれは移り易い fact9: 「仮に当たり易いということはないものが議論しないとすれば香しい」ということは成り立つ fact10: あのミネラル類は頼み込まない fact11: もしも敢え無いということはないものはしゃあ無くないならば「御持ち帰り下さる」ということは本当である fact12: その脳血管疾患は頼み込まない fact13: あのミネラル類が頼み込まないとすれば敢え無くないししゃあ無くない fact14: この愛国婦人会は生き抜ける ; $hypothesis$ = あのミネラル類は御持ち帰り下さらない ; $proof$ = 
fact11 -> int1: もし仮にあのミネラル類は敢え無くないしその上しゃあ無くないならば「御持ち帰り下さる」ということは確かである; fact13 & fact10 -> int2: あのミネラル類は敢え無くないししゃあ無くない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしその暫定球が説明し易いとすればこのＹＡＧは顕在する
事実2: このメチル基が御持ち帰り下さるならあのミネラル類は御持ち帰り下さらない
事実3: 仮にとある物が吊るし上げないとすると運び易いということはないしさらにそれは説明し易くない
事実4: 仮にこの関税が一車種でないとすればそれは直言しないしおまけにそれは頼み込まない
事実5: あのミネラル類は考え深くなくてそれに幼くない
事実6: この絶版が運び易くなくて説明し易くないとするとその暫定球は説明し易い
事実7: この愛国婦人会は生き抜けるなら「あの院長は上げ下げするか手堅くないかあるいは両方ともである」ということは間違っている
事実8: もし仮にとある物は安くないしまた外核でないとすればそれは移り易い
事実9: 「仮に当たり易いということはないものが議論しないとすれば香しい」ということは成り立つ
事実10: あのミネラル類は頼み込まない
事実11: もしも敢え無いということはないものはしゃあ無くないならば「御持ち帰り下さる」ということは本当である
事実12: その脳血管疾患は頼み込まない
事実13: あのミネラル類が頼み込まないとすれば敢え無くないししゃあ無くない
事実14: この愛国婦人会は生き抜ける

仮説: あのミネラル類は御持ち帰り下さらない
1. 事実11から、推論1: "もし仮にあのミネラル類は敢え無くないしその上しゃあ無くないならば「御持ち帰り下さる」ということは確かである"が導かれる
2. 事実13と事実10から、推論2: "あのミネラル類は敢え無くないししゃあ無くない"が導かれる
3. 推論1と推論2から、仮説が否定される

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