「あの育児休業法は赤っぽくないしそれにそれは拙くない」ということは間違っている
fact1: 気忙しい物は拙くない fact2: もしもその目的外が通せん坊しないならあの育児休業法は摩耗するけれど荒くない fact3: あの育児休業法は拙いということはない fact4: その目的外は起こり易い fact5: もしもその目的外は最もらしいしおまけに何気無いならば通せん坊しない fact6: もし「なにがしかのものは起こり易くないしさらに芯去り材でない」ということは成り立たないとすればそれは何気無い fact7: 仮にその目的外は芯去り材であるとするとそれは摩耗しない fact8: 「このウェイターは起こり易くないし宮刑でない」ということは誤りである fact9: とあるものは摩耗するが荒くないならそれは気忙しい fact10: あの当期は何気無くない fact11: 気忙しい物は赤っぽくないしそれに拙くない fact12: もしもその目的外が最もらしいし通せん坊するとするとあの育児休業法は何気無くない fact13: 仮に「その目的外は赤っぽいということはない」ということは本当ならあの育児休業法は起こり易い fact14: もしもなにかは起こり易いとすると「赤っぽくないしそれは拙いということはない」ということは成り立たない fact15: その目的外は最もらしいし翻訳する
void -> assump1: 以下のように仮定する。その目的外は起こり易くなくてそれにそれは芯去り材でない; assump1 -> int1: その目的外は起こり易くない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その目的外は起こり易くなくてまた芯去り材でない」ということは成り立つということはない; fact6 -> int4: 「その目的外は起こり易くないし更に芯去り材でない」ということは誤っているとすると何気無い; int3 & int4 -> int5: 「その目的外は何気無い」ということは事実だ; fact15 -> int6: その目的外は最もらしい; int5 & int6 -> int7: その目的外は最もらしいしかつ何気無い; int7 & fact5 -> int8: その目的外は通せん坊しない; int8 & fact2 -> int9: あの育児休業法は摩耗する一方で荒くない; fact9 -> int10: あの育児休業法は摩耗するがしかし荒くないとすると気忙しい; int9 & int10 -> int11: あの育児休業法は気忙しい; fact11 -> int12: もし「あの育児休業法は気忙しい」ということは事実であるなら赤っぽいということはなくてしかも拙くない; int11 & int12 -> hypothesis;
「あの当期は摩耗するしかつ宮刑だ」ということは真実である
$facts$ = fact1: 気忙しい物は拙くない fact2: もしもその目的外が通せん坊しないならあの育児休業法は摩耗するけれど荒くない fact3: あの育児休業法は拙いということはない fact4: その目的外は起こり易い fact5: もしもその目的外は最もらしいしおまけに何気無いならば通せん坊しない fact6: もし「なにがしかのものは起こり易くないしさらに芯去り材でない」ということは成り立たないとすればそれは何気無い fact7: 仮にその目的外は芯去り材であるとするとそれは摩耗しない fact8: 「このウェイターは起こり易くないし宮刑でない」ということは誤りである fact9: とあるものは摩耗するが荒くないならそれは気忙しい fact10: あの当期は何気無くない fact11: 気忙しい物は赤っぽくないしそれに拙くない fact12: もしもその目的外が最もらしいし通せん坊するとするとあの育児休業法は何気無くない fact13: 仮に「その目的外は赤っぽいということはない」ということは本当ならあの育児休業法は起こり易い fact14: もしもなにかは起こり易いとすると「赤っぽくないしそれは拙いということはない」ということは成り立たない fact15: その目的外は最もらしいし翻訳する ; $hypothesis$ = 「あの育児休業法は赤っぽくないしそれにそれは拙くない」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。その目的外は起こり易くなくてそれにそれは芯去り材でない; assump1 -> int1: その目的外は起こり易くない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その目的外は起こり易くなくてまた芯去り材でない」ということは成り立つということはない; fact6 -> int4: 「その目的外は起こり易くないし更に芯去り材でない」ということは誤っているとすると何気無い; int3 & int4 -> int5: 「その目的外は何気無い」ということは事実だ; fact15 -> int6: その目的外は最もらしい; int5 & int6 -> int7: その目的外は最もらしいしかつ何気無い; int7 & fact5 -> int8: その目的外は通せん坊しない; int8 & fact2 -> int9: あの育児休業法は摩耗する一方で荒くない; fact9 -> int10: あの育児休業法は摩耗するがしかし荒くないとすると気忙しい; int9 & int10 -> int11: あの育児休業法は気忙しい; fact11 -> int12: もし「あの育児休業法は気忙しい」ということは事実であるなら赤っぽいということはなくてしかも拙くない; int11 & int12 -> hypothesis; __DISPROVED__
事実1: 気忙しい物は拙くない
事実2: もしもその目的外が通せん坊しないならあの育児休業法は摩耗するけれど荒くない
事実3: あの育児休業法は拙いということはない
事実4: その目的外は起こり易い
事実5: もしもその目的外は最もらしいしおまけに何気無いならば通せん坊しない
事実6: もし「なにがしかのものは起こり易くないしさらに芯去り材でない」ということは成り立たないとすればそれは何気無い
事実7: 仮にその目的外は芯去り材であるとするとそれは摩耗しない
事実8: 「このウェイターは起こり易くないし宮刑でない」ということは誤りである
事実9: とあるものは摩耗するが荒くないならそれは気忙しい
事実10: あの当期は何気無くない
事実11: 気忙しい物は赤っぽくないしそれに拙くない
事実12: もしもその目的外が最もらしいし通せん坊するとするとあの育児休業法は何気無くない
事実13: 仮に「その目的外は赤っぽいということはない」ということは本当ならあの育児休業法は起こり易い
事実14: もしもなにかは起こり易いとすると「赤っぽくないしそれは拙いということはない」ということは成り立たない
事実15: その目的外は最もらしいし翻訳する

仮説: 「あの育児休業法は赤っぽくないしそれにそれは拙くない」ということは間違っている
1. 仮定1: 以下のように仮定する。その目的外は起こり易くなくてそれにそれは芯去り材でない
2. 仮定1から、推論1: "その目的外は起こり易くない"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その目的外は起こり易くなくてまた芯去り材でない」ということは成り立つということはない"が導かれる
5. 事実6から、推論4: "「その目的外は起こり易くないし更に芯去り材でない」ということは誤っているとすると何気無い"が導かれる
6. 推論3と推論4から、推論5: "「その目的外は何気無い」ということは事実だ"が導かれる
7. 事実15から、推論6: "その目的外は最もらしい"が導かれる
8. 推論5と推論6から、推論7: "その目的外は最もらしいしかつ何気無い"が導かれる
9. 推論7と事実5から、推論8: "その目的外は通せん坊しない"が導かれる
10. 推論8と事実2から、推論9: "あの育児休業法は摩耗する一方で荒くない"が導かれる
11. 事実9から、推論10: "あの育児休業法は摩耗するがしかし荒くないとすると気忙しい"が導かれる
12. 推論9と推論10から、推論11: "あの育児休業法は気忙しい"が導かれる
13. 事実11から、推論12: "もし「あの育児休業法は気忙しい」ということは事実であるなら赤っぽいということはなくてしかも拙くない"が導かれる
14. 推論11と推論12から、仮説が否定される

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