「そのマハームドラーは旧約聖書である」ということは真実である
fact1: 「「その一定限度はげっそりする」ということは確かならそのマハームドラーは熱中し始めないしさらにそれは旧約聖書であるということはない」ということは本当だ fact2: もしなにがしかのものは証すなら「それは熱中し始めないしさらにそれは旧約聖書でない」ということは事実でない fact3: そのマハームドラーは積むということはない fact4: 仮になにがしかのものは積まないしかつげっそりしないとすると旧約聖書でない fact5: 仮になにかは積むけれどげっそりしないとすれば旧約聖書だということはない fact6: 仮にその一定限度は積むけれどげっそりするということはないとしたら熱中し始めない fact7: その一定限度は熱中し始める fact8: もしその一定限度が熱中し始めるとすればそのマハームドラーは積まないしげっそりするということはない
fact8 & fact7 -> int1: そのマハームドラーは積むということはないしげっそりしない; fact4 -> int2: そのマハームドラーは積まないし加えてげっそりしないならば旧約聖書でない; int1 & int2 -> hypothesis;
fact8 & fact7 -> int1: (¬{AA}{b} & ¬{AB}{b}); fact4 -> int2: (¬{AA}{b} & ¬{AB}{b}) -> ¬{B}{b}; int1 & int2 -> hypothesis;
そのマハームドラーは旧約聖書だ
fact9 -> int3: もし仮にこの男優は証すとしたら「それは熱中し始めないし加えてそれは旧約聖書でない」ということは誤っている;
$facts$ = fact1: 「「その一定限度はげっそりする」ということは確かならそのマハームドラーは熱中し始めないしさらにそれは旧約聖書であるということはない」ということは本当だ fact2: もしなにがしかのものは証すなら「それは熱中し始めないしさらにそれは旧約聖書でない」ということは事実でない fact3: そのマハームドラーは積むということはない fact4: 仮になにがしかのものは積まないしかつげっそりしないとすると旧約聖書でない fact5: 仮になにかは積むけれどげっそりしないとすれば旧約聖書だということはない fact6: 仮にその一定限度は積むけれどげっそりするということはないとしたら熱中し始めない fact7: その一定限度は熱中し始める fact8: もしその一定限度が熱中し始めるとすればそのマハームドラーは積まないしげっそりするということはない ; $hypothesis$ = 「そのマハームドラーは旧約聖書である」ということは真実である ; $proof$ = 
fact8 & fact7 -> int1: そのマハームドラーは積むということはないしげっそりしない; fact4 -> int2: そのマハームドラーは積まないし加えてげっそりしないならば旧約聖書でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「「その一定限度はげっそりする」ということは確かならそのマハームドラーは熱中し始めないしさらにそれは旧約聖書であるということはない」ということは本当だ
事実2: もしなにがしかのものは証すなら「それは熱中し始めないしさらにそれは旧約聖書でない」ということは事実でない
事実3: そのマハームドラーは積むということはない
事実4: 仮になにがしかのものは積まないしかつげっそりしないとすると旧約聖書でない
事実5: 仮になにかは積むけれどげっそりしないとすれば旧約聖書だということはない
事実6: 仮にその一定限度は積むけれどげっそりするということはないとしたら熱中し始めない
事実7: その一定限度は熱中し始める
事実8: もしその一定限度が熱中し始めるとすればそのマハームドラーは積まないしげっそりするということはない

仮説: 「そのマハームドラーは旧約聖書である」ということは真実である
1. 事実8と事実7から、推論1: "そのマハームドラーは積むということはないしげっそりしない"が導かれる
2. 事実4から、推論2: "そのマハームドラーは積まないし加えてげっそりしないならば旧約聖書でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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