あの粗微塵切りはぼったくらないけどどす黒い
fact1: 仮に「その群青色は勝ち取る」ということは成り立つとすれば成り掛ける fact2: もし仮に「このマハービハーラ派は方針転換しなくて加えて限り無くない」ということは正しくないとすればこの総収入は小憎らしくない fact3: その群青色は益無しし更に捗々しい fact4: 仮にその群青色が捗々しいならそれは勝ち取る fact5: その群青色が成り掛けるなら方針転換しない fact6: この総収入は小憎らしくないなら「あの粗微塵切りはぼったくらないがどす黒い」ということは間違いだ fact7: もし仮にその群青色は方針転換しないとしたら「このマハービハーラ派は方針転換しないしまたそれは限り無くない」ということは誤っている fact8: 「このマハービハーラ派は方針転換するしぼったくる」ということは成り立たない
fact3 -> int1: その群青色は捗々しい; int1 & fact4 -> int2: その群青色は勝ち取る; int2 & fact1 -> int3: その群青色は成り掛ける; int3 & fact5 -> int4: その群青色は方針転換するということはない; int4 & fact7 -> int5: 「このマハービハーラ派は方針転換しなくておまけにそれは限り無くない」ということは嘘だ; int5 & fact2 -> int6: この総収入は小憎らしくない; int6 & fact6 -> hypothesis;
$facts$ = fact1: 仮に「その群青色は勝ち取る」ということは成り立つとすれば成り掛ける fact2: もし仮に「このマハービハーラ派は方針転換しなくて加えて限り無くない」ということは正しくないとすればこの総収入は小憎らしくない fact3: その群青色は益無しし更に捗々しい fact4: 仮にその群青色が捗々しいならそれは勝ち取る fact5: その群青色が成り掛けるなら方針転換しない fact6: この総収入は小憎らしくないなら「あの粗微塵切りはぼったくらないがどす黒い」ということは間違いだ fact7: もし仮にその群青色は方針転換しないとしたら「このマハービハーラ派は方針転換しないしまたそれは限り無くない」ということは誤っている fact8: 「このマハービハーラ派は方針転換するしぼったくる」ということは成り立たない ; $hypothesis$ = あの粗微塵切りはぼったくらないけどどす黒い ; $proof$ = 
fact3 -> int1: その群青色は捗々しい; int1 & fact4 -> int2: その群青色は勝ち取る; int2 & fact1 -> int3: その群青色は成り掛ける; int3 & fact5 -> int4: その群青色は方針転換するということはない; int4 & fact7 -> int5: 「このマハービハーラ派は方針転換しなくておまけにそれは限り無くない」ということは嘘だ; int5 & fact2 -> int6: この総収入は小憎らしくない; int6 & fact6 -> hypothesis; __DISPROVED__
事実1: 仮に「その群青色は勝ち取る」ということは成り立つとすれば成り掛ける
事実2: もし仮に「このマハービハーラ派は方針転換しなくて加えて限り無くない」ということは正しくないとすればこの総収入は小憎らしくない
事実3: その群青色は益無しし更に捗々しい
事実4: 仮にその群青色が捗々しいならそれは勝ち取る
事実5: その群青色が成り掛けるなら方針転換しない
事実6: この総収入は小憎らしくないなら「あの粗微塵切りはぼったくらないがどす黒い」ということは間違いだ
事実7: もし仮にその群青色は方針転換しないとしたら「このマハービハーラ派は方針転換しないしまたそれは限り無くない」ということは誤っている
事実8: 「このマハービハーラ派は方針転換するしぼったくる」ということは成り立たない

仮説: あの粗微塵切りはぼったくらないけどどす黒い
1. 事実3から、推論1: "その群青色は捗々しい"が導かれる
2. 推論1と事実4から、推論2: "その群青色は勝ち取る"が導かれる
3. 推論2と事実1から、推論3: "その群青色は成り掛ける"が導かれる
4. 推論3と事実5から、推論4: "その群青色は方針転換するということはない"が導かれる
5. 推論4と事実7から、推論5: "「このマハービハーラ派は方針転換しなくておまけにそれは限り無くない」ということは嘘だ"が導かれる
6. 推論5と事実2から、推論6: "この総収入は小憎らしくない"が導かれる
7. 推論6と事実6から、仮説が否定される

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