その歴代はすごーい
fact1: 仮になにかは執行しないとするとキャメルでなくてかつ逆走するということはない fact2: もし何かはデータ投入でなくて行政権限でないとしたら形容し難い fact3: もし仮にこの賃貸契約書が執行するしおまけに正規表現であるとするとその一番地は形容し難くない fact4: 仮にあるものは執行しないとしたら「それはデータ投入でしかもそれは行政権限でない」ということは成り立たない fact5: この賃貸契約書は正規表現だ fact6: この牧は寸断しないとすると「それは形容し難くないしキャメルでない」ということは正しい fact7: この賃貸契約書は寸断する fact8: もし「「この賃貸契約書はデータ投入だけど行政権限でない」ということは誤っている」ということは真実であるとしたらその歴代はすごーい fact9: なにかは寸断するとするとそれは行政権限だということはない fact10: 形容し難い物は正規表現であるけど執行するということはない fact11: 仮にその一番地は形容し難くないならば「この牧は形容し難くないしまたそれはキャメルでない」ということは事実と異なる fact12: もしも「この牧は輝かしくないしまたそれは出願であるということはない」ということは嘘だとするとそれは寸断しない fact13: もし仮にこの賃貸契約書が正規表現であるけど執行しないとすればその中学生は執行するということはない fact14: 「この牧が輝かしくないしさらにそれは出願でない」ということは間違っている
void -> assump1: 以下のように仮定する。この賃貸契約書は執行する; assump1 & fact5 -> int1: この賃貸契約書は執行するしまた正規表現である; int1 & fact3 -> int2: その一番地は形容し難くない; int2 & fact11 -> int3: 「この牧は形容し難くないししかもそれはキャメルでない」ということは嘘だ; fact12 & fact14 -> int4: この牧は寸断しない; int4 & fact6 -> int5: この牧は形容し難いということはなくてそれはキャメルだということはない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この賃貸契約書は執行しない」ということは事実である; fact4 -> int8: もしもこの賃貸契約書は執行しないとすれば「データ投入だ一方で行政権限でない」ということは間違いである; int7 & int8 -> int9: 「「この賃貸契約書はデータ投入だがそれは行政権限でない」ということは正しい」ということは嘘だ; int9 & fact8 -> hypothesis;
その中学生はキャメルでなくてそれにそれは逆走しない
fact16 -> int10: 「仮にその中学生が執行しないとしたらその中学生はキャメルでないし逆走しない」ということは真実である; fact19 -> int11: もしこの賃貸契約書が形容し難いならば正規表現だ一方で執行しない; fact17 -> int12: もしこの賃貸契約書はデータ投入でなくて加えて行政権限でないとしたら形容し難い; fact18 -> int13: この賃貸契約書は寸断するならそれは行政権限でない; int13 & fact15 -> int14: 「この賃貸契約書は行政権限であるということはない」ということは成り立つ;
$facts$ = fact1: 仮になにかは執行しないとするとキャメルでなくてかつ逆走するということはない fact2: もし何かはデータ投入でなくて行政権限でないとしたら形容し難い fact3: もし仮にこの賃貸契約書が執行するしおまけに正規表現であるとするとその一番地は形容し難くない fact4: 仮にあるものは執行しないとしたら「それはデータ投入でしかもそれは行政権限でない」ということは成り立たない fact5: この賃貸契約書は正規表現だ fact6: この牧は寸断しないとすると「それは形容し難くないしキャメルでない」ということは正しい fact7: この賃貸契約書は寸断する fact8: もし「「この賃貸契約書はデータ投入だけど行政権限でない」ということは誤っている」ということは真実であるとしたらその歴代はすごーい fact9: なにかは寸断するとするとそれは行政権限だということはない fact10: 形容し難い物は正規表現であるけど執行するということはない fact11: 仮にその一番地は形容し難くないならば「この牧は形容し難くないしまたそれはキャメルでない」ということは事実と異なる fact12: もしも「この牧は輝かしくないしまたそれは出願であるということはない」ということは嘘だとするとそれは寸断しない fact13: もし仮にこの賃貸契約書が正規表現であるけど執行しないとすればその中学生は執行するということはない fact14: 「この牧が輝かしくないしさらにそれは出願でない」ということは間違っている ; $hypothesis$ = その歴代はすごーい ; $proof$ = 
void -> assump1: 以下のように仮定する。この賃貸契約書は執行する; assump1 & fact5 -> int1: この賃貸契約書は執行するしまた正規表現である; int1 & fact3 -> int2: その一番地は形容し難くない; int2 & fact11 -> int3: 「この牧は形容し難くないししかもそれはキャメルでない」ということは嘘だ; fact12 & fact14 -> int4: この牧は寸断しない; int4 & fact6 -> int5: この牧は形容し難いということはなくてそれはキャメルだということはない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この賃貸契約書は執行しない」ということは事実である; fact4 -> int8: もしもこの賃貸契約書は執行しないとすれば「データ投入だ一方で行政権限でない」ということは間違いである; int7 & int8 -> int9: 「「この賃貸契約書はデータ投入だがそれは行政権限でない」ということは正しい」ということは嘘だ; int9 & fact8 -> hypothesis; __PROVED__
事実1: 仮になにかは執行しないとするとキャメルでなくてかつ逆走するということはない
事実2: もし何かはデータ投入でなくて行政権限でないとしたら形容し難い
事実3: もし仮にこの賃貸契約書が執行するしおまけに正規表現であるとするとその一番地は形容し難くない
事実4: 仮にあるものは執行しないとしたら「それはデータ投入でしかもそれは行政権限でない」ということは成り立たない
事実5: この賃貸契約書は正規表現だ
事実6: この牧は寸断しないとすると「それは形容し難くないしキャメルでない」ということは正しい
事実7: この賃貸契約書は寸断する
事実8: もし「「この賃貸契約書はデータ投入だけど行政権限でない」ということは誤っている」ということは真実であるとしたらその歴代はすごーい
事実9: なにかは寸断するとするとそれは行政権限だということはない
事実10: 形容し難い物は正規表現であるけど執行するということはない
事実11: 仮にその一番地は形容し難くないならば「この牧は形容し難くないしまたそれはキャメルでない」ということは事実と異なる
事実12: もしも「この牧は輝かしくないしまたそれは出願であるということはない」ということは嘘だとするとそれは寸断しない
事実13: もし仮にこの賃貸契約書が正規表現であるけど執行しないとすればその中学生は執行するということはない
事実14: 「この牧が輝かしくないしさらにそれは出願でない」ということは間違っている

仮説: その歴代はすごーい
1. 仮定1: 以下のように仮定する。この賃貸契約書は執行する
2. 仮定1と事実5から、推論1: "この賃貸契約書は執行するしまた正規表現である"が導かれる
3. 推論1と事実3から、推論2: "その一番地は形容し難くない"が導かれる
4. 推論2と事実11から、推論3: "「この牧は形容し難くないししかもそれはキャメルでない」ということは嘘だ"が導かれる
5. 事実12と事実14から、推論4: "この牧は寸断しない"が導かれる
6. 推論4と事実6から、推論5: "この牧は形容し難いということはなくてそれはキャメルだということはない"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「この賃貸契約書は執行しない」ということは事実である"が導かれる
9. 事実4から、推論8: "もしもこの賃貸契約書は執行しないとすれば「データ投入だ一方で行政権限でない」ということは間違いである"が導かれる
10. 推論7と推論8から、推論9: "「「この賃貸契約書はデータ投入だがそれは行政権限でない」ということは正しい」ということは嘘だ"が導かれる
11. 推論9と事実8から、仮説が導かれる

よって、仮説が証明されました。