その第一次世界大戦後はやんごとなくない
fact1: もし「「何かは厚生労働省調査であるかあるいは三カップでないかまたは両方ともだ」ということは成り立つ」ということは間違いであるとすれば全国レベルでない fact2: その口入れ屋は受け入れ易くない fact3: もしも「なんらかのものはしつこくてやんごとない」ということは成り立たないとしたらそれはやんごとないということはない fact4: その第一次世界大戦後が宜しくないとしたらやんごとない fact5: その第一次世界大戦後は宜しいとすれば「それはしつこいということはない」ということは事実である fact6: 「「受け入れ易いということはなくて平ったい」ということは確かでない」ものはある fact7: 厚生労働省調査は宜しい fact8: もしも「「受け入れ易くないがしかし平ったい」ということは真実だということはない」ものがあるとしたらあの一人当たり消費支出は全国レベルである fact9: 「その口入れ屋は受け入れ易くない」ということは事実なら全国レベルでなくてその上三カップだということはない fact10: もしもその第一次世界大戦後はしつこくないとすれば「あの一人当たり消費支出は厚生労働省調査であるかもしくは三カップでないかもしくは両方ともだ」ということは成り立たない
void -> assump1: 以下のように仮定する。その第一次世界大戦後は宜しい; fact5 & assump1 -> int1: その第一次世界大戦後はしつこくない; int1 & fact10 -> int2: 「あの一人当たり消費支出は厚生労働省調査であるかあるいは三カップであるということはない」ということは成り立つということはない; fact1 -> int3: 「あの一人当たり消費支出は厚生労働省調査であるかもしくは三カップだということはない」ということは偽であるなら全国レベルでない; int2 & int3 -> int4: あの一人当たり消費支出は全国レベルでない; fact6 & fact8 -> int5: あの一人当たり消費支出は全国レベルである; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その第一次世界大戦後は宜しくない; int7 & fact4 -> hypothesis;
その第一次世界大戦後はやんごとないということはない
fact11 -> int8: もし仮に「その第一次世界大戦後はしつこくて加えてやんごとない」ということは成り立たないとすればそれはやんごとなくない; fact12 -> int9: もしもあの一人当たり消費支出が厚生労働省調査なら宜しい; fact13 & fact14 -> int10: その口入れ屋は全国レベルでなくてしかも三カップだということはない; int10 -> int11: なにがしかの物は全国レベルでないし三カップでない;
$facts$ = fact1: もし「「何かは厚生労働省調査であるかあるいは三カップでないかまたは両方ともだ」ということは成り立つ」ということは間違いであるとすれば全国レベルでない fact2: その口入れ屋は受け入れ易くない fact3: もしも「なんらかのものはしつこくてやんごとない」ということは成り立たないとしたらそれはやんごとないということはない fact4: その第一次世界大戦後が宜しくないとしたらやんごとない fact5: その第一次世界大戦後は宜しいとすれば「それはしつこいということはない」ということは事実である fact6: 「「受け入れ易いということはなくて平ったい」ということは確かでない」ものはある fact7: 厚生労働省調査は宜しい fact8: もしも「「受け入れ易くないがしかし平ったい」ということは真実だということはない」ものがあるとしたらあの一人当たり消費支出は全国レベルである fact9: 「その口入れ屋は受け入れ易くない」ということは事実なら全国レベルでなくてその上三カップだということはない fact10: もしもその第一次世界大戦後はしつこくないとすれば「あの一人当たり消費支出は厚生労働省調査であるかもしくは三カップでないかもしくは両方ともだ」ということは成り立たない ; $hypothesis$ = その第一次世界大戦後はやんごとなくない ; $proof$ = 
void -> assump1: 以下のように仮定する。その第一次世界大戦後は宜しい; fact5 & assump1 -> int1: その第一次世界大戦後はしつこくない; int1 & fact10 -> int2: 「あの一人当たり消費支出は厚生労働省調査であるかあるいは三カップであるということはない」ということは成り立つということはない; fact1 -> int3: 「あの一人当たり消費支出は厚生労働省調査であるかもしくは三カップだということはない」ということは偽であるなら全国レベルでない; int2 & int3 -> int4: あの一人当たり消費支出は全国レベルでない; fact6 & fact8 -> int5: あの一人当たり消費支出は全国レベルである; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その第一次世界大戦後は宜しくない; int7 & fact4 -> hypothesis; __DISPROVED__
事実1: もし「「何かは厚生労働省調査であるかあるいは三カップでないかまたは両方ともだ」ということは成り立つ」ということは間違いであるとすれば全国レベルでない
事実2: その口入れ屋は受け入れ易くない
事実3: もしも「なんらかのものはしつこくてやんごとない」ということは成り立たないとしたらそれはやんごとないということはない
事実4: その第一次世界大戦後が宜しくないとしたらやんごとない
事実5: その第一次世界大戦後は宜しいとすれば「それはしつこいということはない」ということは事実である
事実6: 「「受け入れ易いということはなくて平ったい」ということは確かでない」ものはある
事実7: 厚生労働省調査は宜しい
事実8: もしも「「受け入れ易くないがしかし平ったい」ということは真実だということはない」ものがあるとしたらあの一人当たり消費支出は全国レベルである
事実9: 「その口入れ屋は受け入れ易くない」ということは事実なら全国レベルでなくてその上三カップだということはない
事実10: もしもその第一次世界大戦後はしつこくないとすれば「あの一人当たり消費支出は厚生労働省調査であるかもしくは三カップでないかもしくは両方ともだ」ということは成り立たない

仮説: その第一次世界大戦後はやんごとなくない
1. 仮定1: 以下のように仮定する。その第一次世界大戦後は宜しい
2. 事実5と仮定1から、推論1: "その第一次世界大戦後はしつこくない"が導かれる
3. 推論1と事実10から、推論2: "「あの一人当たり消費支出は厚生労働省調査であるかあるいは三カップであるということはない」ということは成り立つということはない"が導かれる
4. 事実1から、推論3: "「あの一人当たり消費支出は厚生労働省調査であるかもしくは三カップだということはない」ということは偽であるなら全国レベルでない"が導かれる
5. 推論2と推論3から、推論4: "あの一人当たり消費支出は全国レベルでない"が導かれる
6. 事実6と事実8から、推論5: "あの一人当たり消費支出は全国レベルである"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その第一次世界大戦後は宜しくない"が導かれる
9. 推論7と事実4から、仮説が否定される

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