「「「平べったいしおまけに民主主義体制だということはない」ということは事実でない」物はある」ということは間違いである
fact1: もしもその実態調査報告書が平べったいけれど民主主義体制でないとすればその精密さは発現し易いということはない fact2: とある物は御盆休みだということはない一方で砕け易いなら発現し易くない fact3: もしも「その実態調査報告書は発現し易くない」ということは本当であるとするとこの殺意は平べったいかあるいはそれは発現し易いかあるいはどちらもだ fact4: 「「平べったいしそれに民主主義体制だ」ということは偽な」ものはある fact5: 仮に「その実態調査報告書は平べったいし民主主義体制である」ということは確かであるとするとその精密さは発現し易くない fact6: 仮にその精密さが発現し易くないとすればあの殺意は乗り易いかあるいは発現し易い fact7: 「乗り易い一方で民主主義体制でない」物はある fact8: その実態調査報告書が発現し易いということはないとすればあの自己水は乗り易いけど下ろし易くない fact9: もし仮に「その実態調査報告書は民主主義体制である一方で乗り易くない」ということは事実だとすればあの殺意は平べったいということはない fact10: 仮にあの藪睨みが砕け易いとしたら発現し易い fact11: この殺意は乗り易い fact12: この殺意は乗り易いかあるいは発現し易い fact13: 仮にあるものが黒しないならそれは御盆休みでないけど砕け易い fact14: 「この殺意は乗り易くないかまたはそれは発現し易い」ということは成り立たない fact15: あるものは平べったいが民主主義体制でない fact16: 「その実態調査報告書は平べったいし民主主義体制である」ということは成り立たない fact17: その精密さが発現し易くないとしたらこの殺意は乗り易くないかあるいは発現し易いかまたはどちらもである fact18: その実態調査報告書は乗り易いが民主主義体制でない fact19: その実態調査報告書は民主主義体制でない
void -> assump1: 以下のように仮定する。その実態調査報告書は平べったい一方で民主主義体制でない; fact1 & assump1 -> int1: その精密さは発現し易くない; int1 & fact17 -> int2: 「この殺意は乗り易くないかあるいは発現し易いかどちらもである」ということは正しい; int2 & fact14 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その実態調査報告書は平べったい一方でそれは民主主義体制でない」ということは誤りである; int4 -> hypothesis;
あの藪睨みは民主主義体制でない
$facts$ = fact1: もしもその実態調査報告書が平べったいけれど民主主義体制でないとすればその精密さは発現し易いということはない fact2: とある物は御盆休みだということはない一方で砕け易いなら発現し易くない fact3: もしも「その実態調査報告書は発現し易くない」ということは本当であるとするとこの殺意は平べったいかあるいはそれは発現し易いかあるいはどちらもだ fact4: 「「平べったいしそれに民主主義体制だ」ということは偽な」ものはある fact5: 仮に「その実態調査報告書は平べったいし民主主義体制である」ということは確かであるとするとその精密さは発現し易くない fact6: 仮にその精密さが発現し易くないとすればあの殺意は乗り易いかあるいは発現し易い fact7: 「乗り易い一方で民主主義体制でない」物はある fact8: その実態調査報告書が発現し易いということはないとすればあの自己水は乗り易いけど下ろし易くない fact9: もし仮に「その実態調査報告書は民主主義体制である一方で乗り易くない」ということは事実だとすればあの殺意は平べったいということはない fact10: 仮にあの藪睨みが砕け易いとしたら発現し易い fact11: この殺意は乗り易い fact12: この殺意は乗り易いかあるいは発現し易い fact13: 仮にあるものが黒しないならそれは御盆休みでないけど砕け易い fact14: 「この殺意は乗り易くないかまたはそれは発現し易い」ということは成り立たない fact15: あるものは平べったいが民主主義体制でない fact16: 「その実態調査報告書は平べったいし民主主義体制である」ということは成り立たない fact17: その精密さが発現し易くないとしたらこの殺意は乗り易くないかあるいは発現し易いかまたはどちらもである fact18: その実態調査報告書は乗り易いが民主主義体制でない fact19: その実態調査報告書は民主主義体制でない ; $hypothesis$ = 「「「平べったいしおまけに民主主義体制だということはない」ということは事実でない」物はある」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。その実態調査報告書は平べったい一方で民主主義体制でない; fact1 & assump1 -> int1: その精密さは発現し易くない; int1 & fact17 -> int2: 「この殺意は乗り易くないかあるいは発現し易いかどちらもである」ということは正しい; int2 & fact14 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その実態調査報告書は平べったい一方でそれは民主主義体制でない」ということは誤りである; int4 -> hypothesis; __DISPROVED__
事実1: もしもその実態調査報告書が平べったいけれど民主主義体制でないとすればその精密さは発現し易いということはない
事実2: とある物は御盆休みだということはない一方で砕け易いなら発現し易くない
事実3: もしも「その実態調査報告書は発現し易くない」ということは本当であるとするとこの殺意は平べったいかあるいはそれは発現し易いかあるいはどちらもだ
事実4: 「「平べったいしそれに民主主義体制だ」ということは偽な」ものはある
事実5: 仮に「その実態調査報告書は平べったいし民主主義体制である」ということは確かであるとするとその精密さは発現し易くない
事実6: 仮にその精密さが発現し易くないとすればあの殺意は乗り易いかあるいは発現し易い
事実7: 「乗り易い一方で民主主義体制でない」物はある
事実8: その実態調査報告書が発現し易いということはないとすればあの自己水は乗り易いけど下ろし易くない
事実9: もし仮に「その実態調査報告書は民主主義体制である一方で乗り易くない」ということは事実だとすればあの殺意は平べったいということはない
事実10: 仮にあの藪睨みが砕け易いとしたら発現し易い
事実11: この殺意は乗り易い
事実12: この殺意は乗り易いかあるいは発現し易い
事実13: 仮にあるものが黒しないならそれは御盆休みでないけど砕け易い
事実14: 「この殺意は乗り易くないかまたはそれは発現し易い」ということは成り立たない
事実15: あるものは平べったいが民主主義体制でない
事実16: 「その実態調査報告書は平べったいし民主主義体制である」ということは成り立たない
事実17: その精密さが発現し易くないとしたらこの殺意は乗り易くないかあるいは発現し易いかまたはどちらもである
事実18: その実態調査報告書は乗り易いが民主主義体制でない
事実19: その実態調査報告書は民主主義体制でない

仮説: 「「「平べったいしおまけに民主主義体制だということはない」ということは事実でない」物はある」ということは間違いである
1. 仮定1: 以下のように仮定する。その実態調査報告書は平べったい一方で民主主義体制でない
2. 事実1と仮定1から、推論1: "その精密さは発現し易くない"が導かれる
3. 推論1と事実17から、推論2: "「この殺意は乗り易くないかあるいは発現し易いかどちらもである」ということは正しい"が導かれる
4. 推論2と事実14から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その実態調査報告書は平べったい一方でそれは民主主義体制でない」ということは誤りである"が導かれる
6. 推論4から、仮説が否定される

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