「仮にあの行くちゃんが申し訳無いとすればあのユーザ系は剥がれ易くない」ということは誤りだ
fact1: もしもその支出額が末恐ろしくないならあの行くちゃんは申し訳無くない fact2: あのユーザ系が御弟子さんだしさらにそれは発生し続ける fact3: もし仮にあのユーザ系が剥がれ易くて御弟子さんだとするとその支出額は末恐ろしくない fact4: 仮にあの行くちゃんが末恐ろしくないとすればその支出額は申し訳無い fact5: もし仮にあのユーザ系が申し訳無くないならあの行くちゃんは御弟子さんでない fact6: あの行くちゃんは発生し続けるしそれにインスパイアする fact7: その支出額は申し訳無くない fact8: あのユーザ系は語り継ぐ fact9: あの行くちゃんは看過し難いということはない fact10: あのユーザ系が御弟子さんでないとすればあの行くちゃんは発生し続ける fact11: あの行くちゃんは剥がれ易いしさらに申し訳無い fact12: あのユーザ系は申し訳無い
fact2 -> int1: あのユーザ系は御弟子さんである; void -> assump1: 以下のように仮定する。あのユーザ系は剥がれ易い; int1 & assump1 -> int2: あのユーザ系は剥がれ易いしそれに御弟子さんだ; int2 & fact3 -> int3: その支出額は末恐ろしいということはない; int3 & fact1 -> int4: あの行くちゃんは申し訳無くない; void -> assump2: 以下のように仮定する。あの行くちゃんは申し訳無い; int4 & assump2 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あのユーザ系は剥がれ易い」ということは偽である; [assump2] & int6 -> hypothesis;
$facts$ = fact1: もしもその支出額が末恐ろしくないならあの行くちゃんは申し訳無くない fact2: あのユーザ系が御弟子さんだしさらにそれは発生し続ける fact3: もし仮にあのユーザ系が剥がれ易くて御弟子さんだとするとその支出額は末恐ろしくない fact4: 仮にあの行くちゃんが末恐ろしくないとすればその支出額は申し訳無い fact5: もし仮にあのユーザ系が申し訳無くないならあの行くちゃんは御弟子さんでない fact6: あの行くちゃんは発生し続けるしそれにインスパイアする fact7: その支出額は申し訳無くない fact8: あのユーザ系は語り継ぐ fact9: あの行くちゃんは看過し難いということはない fact10: あのユーザ系が御弟子さんでないとすればあの行くちゃんは発生し続ける fact11: あの行くちゃんは剥がれ易いしさらに申し訳無い fact12: あのユーザ系は申し訳無い ; $hypothesis$ = 「仮にあの行くちゃんが申し訳無いとすればあのユーザ系は剥がれ易くない」ということは誤りだ ; $proof$ = 
fact2 -> int1: あのユーザ系は御弟子さんである; void -> assump1: 以下のように仮定する。あのユーザ系は剥がれ易い; int1 & assump1 -> int2: あのユーザ系は剥がれ易いしそれに御弟子さんだ; int2 & fact3 -> int3: その支出額は末恐ろしいということはない; int3 & fact1 -> int4: あの行くちゃんは申し訳無くない; void -> assump2: 以下のように仮定する。あの行くちゃんは申し訳無い; int4 & assump2 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あのユーザ系は剥がれ易い」ということは偽である; [assump2] & int6 -> hypothesis; __DISPROVED__
事実1: もしもその支出額が末恐ろしくないならあの行くちゃんは申し訳無くない
事実2: あのユーザ系が御弟子さんだしさらにそれは発生し続ける
事実3: もし仮にあのユーザ系が剥がれ易くて御弟子さんだとするとその支出額は末恐ろしくない
事実4: 仮にあの行くちゃんが末恐ろしくないとすればその支出額は申し訳無い
事実5: もし仮にあのユーザ系が申し訳無くないならあの行くちゃんは御弟子さんでない
事実6: あの行くちゃんは発生し続けるしそれにインスパイアする
事実7: その支出額は申し訳無くない
事実8: あのユーザ系は語り継ぐ
事実9: あの行くちゃんは看過し難いということはない
事実10: あのユーザ系が御弟子さんでないとすればあの行くちゃんは発生し続ける
事実11: あの行くちゃんは剥がれ易いしさらに申し訳無い
事実12: あのユーザ系は申し訳無い

仮説: 「仮にあの行くちゃんが申し訳無いとすればあのユーザ系は剥がれ易くない」ということは誤りだ
1. 事実2から、推論1: "あのユーザ系は御弟子さんである"が導かれる
2. 仮定1: 以下のように仮定する。あのユーザ系は剥がれ易い
3. 推論1と仮定1から、推論2: "あのユーザ系は剥がれ易いしそれに御弟子さんだ"が導かれる
4. 推論2と事実3から、推論3: "その支出額は末恐ろしいということはない"が導かれる
5. 推論3と事実1から、推論4: "あの行くちゃんは申し訳無くない"が導かれる
6. 仮定2: 以下のように仮定する。あの行くちゃんは申し訳無い
7. 推論4と仮定2から、推論5: "これは矛盾である"が導かれる
8. [仮定1]と推論5から、推論6: "「あのユーザ系は剥がれ易い」ということは偽である"が導かれる
9. [仮定2]と推論6から、仮説が否定される

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