「「もし仮にメンディップであるということはないとすれば真面目過ぎる」ものはある」ということは偽だ
fact1: なにかはブロードバンド・アクセスならメンディップでないし確認し難くない fact2: 「あの親神様は見下すけれど慎み深くない」ということは誤っている fact3: 仮にあの親神様はブロードバンド・アクセスでないしメンディップだということはないならばそれは真面目過ぎる fact4: もし「とあるものは見下す一方で慎み深くない」ということは成り立たないならブロードバンド・アクセスでない fact5: もし仮に「あるものは納得しないがしかし想像し難い」ということは成り立たないとしたらそれは想像し難いということはない fact6: 想像し難くない物は真面目過ぎるしその上ブロードバンド・アクセスである fact7: 議長役は優しない
fact4 -> int1: もしも「あの親神様は見下す一方でそれは慎み深くない」ということは嘘であるとしたらブロードバンド・アクセスでない; int1 & fact2 -> int2: あの親神様はブロードバンド・アクセスでない; void -> assump1: 以下のように仮定する。あの親神様はメンディップでない; int2 & assump1 -> int3: あの親神様はブロードバンド・アクセスでないしそれはメンディップでない; int3 & fact3 -> int4: あの親神様は真面目過ぎる; [assump1] & int4 -> int5: もしもあの親神様がメンディップでないとすれば真面目過ぎる; int5 -> hypothesis;
あの親神様はメンディップでないし確認し難くない
fact8 -> int6: 仮にあの親神様がブロードバンド・アクセスであるならばメンディップでないしまたそれは確認し難くない; fact9 -> int7: もしあの親神様が想像し難くないとしたらそれは真面目過ぎるしさらにそれはブロードバンド・アクセスである; fact10 -> int8: 「あの親神様は納得しないけれど想像し難い」ということは嘘だとすると想像し難くない;
$facts$ = fact1: なにかはブロードバンド・アクセスならメンディップでないし確認し難くない fact2: 「あの親神様は見下すけれど慎み深くない」ということは誤っている fact3: 仮にあの親神様はブロードバンド・アクセスでないしメンディップだということはないならばそれは真面目過ぎる fact4: もし「とあるものは見下す一方で慎み深くない」ということは成り立たないならブロードバンド・アクセスでない fact5: もし仮に「あるものは納得しないがしかし想像し難い」ということは成り立たないとしたらそれは想像し難いということはない fact6: 想像し難くない物は真面目過ぎるしその上ブロードバンド・アクセスである fact7: 議長役は優しない ; $hypothesis$ = 「「もし仮にメンディップであるということはないとすれば真面目過ぎる」ものはある」ということは偽だ ; $proof$ = 
fact4 -> int1: もしも「あの親神様は見下す一方でそれは慎み深くない」ということは嘘であるとしたらブロードバンド・アクセスでない; int1 & fact2 -> int2: あの親神様はブロードバンド・アクセスでない; void -> assump1: 以下のように仮定する。あの親神様はメンディップでない; int2 & assump1 -> int3: あの親神様はブロードバンド・アクセスでないしそれはメンディップでない; int3 & fact3 -> int4: あの親神様は真面目過ぎる; [assump1] & int4 -> int5: もしもあの親神様がメンディップでないとすれば真面目過ぎる; int5 -> hypothesis; __DISPROVED__
事実1: なにかはブロードバンド・アクセスならメンディップでないし確認し難くない
事実2: 「あの親神様は見下すけれど慎み深くない」ということは誤っている
事実3: 仮にあの親神様はブロードバンド・アクセスでないしメンディップだということはないならばそれは真面目過ぎる
事実4: もし「とあるものは見下す一方で慎み深くない」ということは成り立たないならブロードバンド・アクセスでない
事実5: もし仮に「あるものは納得しないがしかし想像し難い」ということは成り立たないとしたらそれは想像し難いということはない
事実6: 想像し難くない物は真面目過ぎるしその上ブロードバンド・アクセスである
事実7: 議長役は優しない

仮説: 「「もし仮にメンディップであるということはないとすれば真面目過ぎる」ものはある」ということは偽だ
1. 事実4から、推論1: "もしも「あの親神様は見下す一方でそれは慎み深くない」ということは嘘であるとしたらブロードバンド・アクセスでない"が導かれる
2. 推論1と事実2から、推論2: "あの親神様はブロードバンド・アクセスでない"が導かれる
3. 仮定1: 以下のように仮定する。あの親神様はメンディップでない
4. 推論2と仮定1から、推論3: "あの親神様はブロードバンド・アクセスでないしそれはメンディップでない"が導かれる
5. 推論3と事実3から、推論4: "あの親神様は真面目過ぎる"が導かれる
6. [仮定1]と推論4から、推論5: "もしもあの親神様がメンディップでないとすれば真面目過ぎる"が導かれる
7. 推論5から、仮説が否定される

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