そのマイカーは御守り下さる
fact1: 「「とあるものは法医でないが断食する」ということは事実だ」ということは偽だとしたら御守り下さるということはない fact2: もしもあの五十年史が叫び出さないなら断食しない fact3: もし仮にその防御プラグインＧは移ろい易いということはないとしたら「このフードは格闘技であるがしかしスナップ写真でない」ということは誤っている fact4: もしなにがしかのものが断食する一方でそれが叫び出さないとしたらそれは御守り下さる fact5: 仮にあの五十年史は断食しないなら「「そのマイカーは法医でないけれど断食する」ということは成り立つ」ということは成り立たない fact6: その御茶会は行い始めるということはないかそれはゴムバンドでない fact7: もし仮に「このフードは格闘技だがしかしスナップ写真でない」ということは成り立たないとしたら「格闘技だということはない」ということは偽でない fact8: なんらかの物は直販だしさらにつれない fact9: もし仮にあの五十年史が叫び出すとしたらそれがゴムバンドだしかつそれは本ケースだということはない fact10: もしあの五十年史はゴムバンドだとすると「その御茶会は行い始めないかゴムバンドでないかまたは両方である」ということは嘘である fact11: もしもこのフードは格闘技でないとすれば「その御茶会は法医でない一方でそれは眩い」ということは間違いだ
void -> assump1: 以下のように仮定する。あの五十年史は叫び出す; fact9 & assump1 -> int1: あの五十年史はゴムバンドだけれど本ケースでない; int1 -> int2: あの五十年史はゴムバンドである; int2 & fact10 -> int3: 「その御茶会は行い始めないかそれはゴムバンドでないかあるいは両方だ」ということは間違っている; int3 & fact6 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの五十年史は叫び出さない; int5 & fact2 -> int6: あの五十年史は断食しない; int6 & fact5 -> int7: 「そのマイカーは法医でないけれどそれは断食する」ということは成り立たない; fact1 -> int8: もし「そのマイカーは法医でないけれど断食する」ということは誤りならそれは御守り下さらない; int7 & int8 -> hypothesis;
そのマイカーは御守り下さる
fact12 -> int9: もし仮にそのマイカーは断食するが叫び出さないとすれば「御守り下さる」ということは事実だ;
$facts$ = fact1: 「「とあるものは法医でないが断食する」ということは事実だ」ということは偽だとしたら御守り下さるということはない fact2: もしもあの五十年史が叫び出さないなら断食しない fact3: もし仮にその防御プラグインＧは移ろい易いということはないとしたら「このフードは格闘技であるがしかしスナップ写真でない」ということは誤っている fact4: もしなにがしかのものが断食する一方でそれが叫び出さないとしたらそれは御守り下さる fact5: 仮にあの五十年史は断食しないなら「「そのマイカーは法医でないけれど断食する」ということは成り立つ」ということは成り立たない fact6: その御茶会は行い始めるということはないかそれはゴムバンドでない fact7: もし仮に「このフードは格闘技だがしかしスナップ写真でない」ということは成り立たないとしたら「格闘技だということはない」ということは偽でない fact8: なんらかの物は直販だしさらにつれない fact9: もし仮にあの五十年史が叫び出すとしたらそれがゴムバンドだしかつそれは本ケースだということはない fact10: もしあの五十年史はゴムバンドだとすると「その御茶会は行い始めないかゴムバンドでないかまたは両方である」ということは嘘である fact11: もしもこのフードは格闘技でないとすれば「その御茶会は法医でない一方でそれは眩い」ということは間違いだ ; $hypothesis$ = そのマイカーは御守り下さる ; $proof$ = 
void -> assump1: 以下のように仮定する。あの五十年史は叫び出す; fact9 & assump1 -> int1: あの五十年史はゴムバンドだけれど本ケースでない; int1 -> int2: あの五十年史はゴムバンドである; int2 & fact10 -> int3: 「その御茶会は行い始めないかそれはゴムバンドでないかあるいは両方だ」ということは間違っている; int3 & fact6 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの五十年史は叫び出さない; int5 & fact2 -> int6: あの五十年史は断食しない; int6 & fact5 -> int7: 「そのマイカーは法医でないけれどそれは断食する」ということは成り立たない; fact1 -> int8: もし「そのマイカーは法医でないけれど断食する」ということは誤りならそれは御守り下さらない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 「「とあるものは法医でないが断食する」ということは事実だ」ということは偽だとしたら御守り下さるということはない
事実2: もしもあの五十年史が叫び出さないなら断食しない
事実3: もし仮にその防御プラグインＧは移ろい易いということはないとしたら「このフードは格闘技であるがしかしスナップ写真でない」ということは誤っている
事実4: もしなにがしかのものが断食する一方でそれが叫び出さないとしたらそれは御守り下さる
事実5: 仮にあの五十年史は断食しないなら「「そのマイカーは法医でないけれど断食する」ということは成り立つ」ということは成り立たない
事実6: その御茶会は行い始めるということはないかそれはゴムバンドでない
事実7: もし仮に「このフードは格闘技だがしかしスナップ写真でない」ということは成り立たないとしたら「格闘技だということはない」ということは偽でない
事実8: なんらかの物は直販だしさらにつれない
事実9: もし仮にあの五十年史が叫び出すとしたらそれがゴムバンドだしかつそれは本ケースだということはない
事実10: もしあの五十年史はゴムバンドだとすると「その御茶会は行い始めないかゴムバンドでないかまたは両方である」ということは嘘である
事実11: もしもこのフードは格闘技でないとすれば「その御茶会は法医でない一方でそれは眩い」ということは間違いだ

仮説: そのマイカーは御守り下さる
1. 仮定1: 以下のように仮定する。あの五十年史は叫び出す
2. 事実9と仮定1から、推論1: "あの五十年史はゴムバンドだけれど本ケースでない"が導かれる
3. 推論1から、推論2: "あの五十年史はゴムバンドである"が導かれる
4. 推論2と事実10から、推論3: "「その御茶会は行い始めないかそれはゴムバンドでないかあるいは両方だ」ということは間違っている"が導かれる
5. 推論3と事実6から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの五十年史は叫び出さない"が導かれる
7. 推論5と事実2から、推論6: "あの五十年史は断食しない"が導かれる
8. 推論6と事実5から、推論7: "「そのマイカーは法医でないけれどそれは断食する」ということは成り立たない"が導かれる
9. 事実1から、推論8: "もし「そのマイカーは法医でないけれど断食する」ということは誤りならそれは御守り下さらない"が導かれる
10. 推論7と推論8から、仮説が否定される

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