そのＥＲは着せがましいということはない
fact1: もし仮に「そのＥＲは我慢出来るかまたはそれは馬鹿でかいということはないかまたはどちらもだ」ということは嘘だとすると鰰でない fact2: もし仮にその三十六見附は買い目点数だとしたら「あの粗暴は定義付けるが入り難いということはない」ということは間違いだ fact3: あの粗暴が定義付けるということはないしさらに入り難くない fact4: 「その三十六見附は着せがましい一方で買い目点数でない」ということは嘘だ fact5: もし仮にその三十六見附が買い目点数でないならばそのＥＲは実証しない fact6: もし仮にその三十六見附は買い目点数ならば「あの粗暴は定義付けない一方で入り難い」ということは成り立たない fact7: もしもなんらかの物が実証すればそれは着せがましいが買い目点数でない fact8: もしそのＥＲが鰰でないとすれば空襲するしさらにそれは実証する fact9: もし仮にとある物は市民センターであるということはないとすると「それは我慢出来るか馬鹿でかくないかまたはどちらもである」ということは成り立たない fact10: もし仮になにがしかのものが実証するということはないならそれは着せがましかない fact11: その三十六見附が実証しないとすればそのＥＲは買い目点数でない fact12: もしも「その三十六見附は入り難い」ということは誤りでないとしたら「あの粗暴は定義付けないし買い目点数であるということはない」ということは誤りだ fact13: もし仮にその三十六見附は買い目点数なら「あの粗暴は定義付けないし入り難くない」ということは誤っている fact14: 仮に何らかの物は実証するし買い目点数ならそれは礼儀正しくない
void -> assump1: 以下のように仮定する。その三十六見附は買い目点数だ; fact13 & assump1 -> int1: 「あの粗暴は定義付けないしそれに入り難くない」ということは誤りである; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: その三十六見附は買い目点数でない; int3 & fact5 -> int4: そのＥＲは実証しない; fact10 -> int5: そのＥＲが実証しないとすると着せがましかない; int4 & int5 -> hypothesis;
そのＥＲは着せがましい
fact18 -> int6: 「「そのＥＲは実証する」ということは成り立つとするとそのＥＲは着せがましいがそれは買い目点数でない」ということは事実である; fact17 -> int7: もし仮にそのＥＲは市民センターでないとすると「我慢出来るかまたは馬鹿でかくないかもしくは両方である」ということは成り立たない;
$facts$ = fact1: もし仮に「そのＥＲは我慢出来るかまたはそれは馬鹿でかいということはないかまたはどちらもだ」ということは嘘だとすると鰰でない fact2: もし仮にその三十六見附は買い目点数だとしたら「あの粗暴は定義付けるが入り難いということはない」ということは間違いだ fact3: あの粗暴が定義付けるということはないしさらに入り難くない fact4: 「その三十六見附は着せがましい一方で買い目点数でない」ということは嘘だ fact5: もし仮にその三十六見附が買い目点数でないならばそのＥＲは実証しない fact6: もし仮にその三十六見附は買い目点数ならば「あの粗暴は定義付けない一方で入り難い」ということは成り立たない fact7: もしもなんらかの物が実証すればそれは着せがましいが買い目点数でない fact8: もしそのＥＲが鰰でないとすれば空襲するしさらにそれは実証する fact9: もし仮にとある物は市民センターであるということはないとすると「それは我慢出来るか馬鹿でかくないかまたはどちらもである」ということは成り立たない fact10: もし仮になにがしかのものが実証するということはないならそれは着せがましかない fact11: その三十六見附が実証しないとすればそのＥＲは買い目点数でない fact12: もしも「その三十六見附は入り難い」ということは誤りでないとしたら「あの粗暴は定義付けないし買い目点数であるということはない」ということは誤りだ fact13: もし仮にその三十六見附は買い目点数なら「あの粗暴は定義付けないし入り難くない」ということは誤っている fact14: 仮に何らかの物は実証するし買い目点数ならそれは礼儀正しくない ; $hypothesis$ = そのＥＲは着せがましいということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その三十六見附は買い目点数だ; fact13 & assump1 -> int1: 「あの粗暴は定義付けないしそれに入り難くない」ということは誤りである; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: その三十六見附は買い目点数でない; int3 & fact5 -> int4: そのＥＲは実証しない; fact10 -> int5: そのＥＲが実証しないとすると着せがましかない; int4 & int5 -> hypothesis; __PROVED__
事実1: もし仮に「そのＥＲは我慢出来るかまたはそれは馬鹿でかいということはないかまたはどちらもだ」ということは嘘だとすると鰰でない
事実2: もし仮にその三十六見附は買い目点数だとしたら「あの粗暴は定義付けるが入り難いということはない」ということは間違いだ
事実3: あの粗暴が定義付けるということはないしさらに入り難くない
事実4: 「その三十六見附は着せがましい一方で買い目点数でない」ということは嘘だ
事実5: もし仮にその三十六見附が買い目点数でないならばそのＥＲは実証しない
事実6: もし仮にその三十六見附は買い目点数ならば「あの粗暴は定義付けない一方で入り難い」ということは成り立たない
事実7: もしもなんらかの物が実証すればそれは着せがましいが買い目点数でない
事実8: もしそのＥＲが鰰でないとすれば空襲するしさらにそれは実証する
事実9: もし仮にとある物は市民センターであるということはないとすると「それは我慢出来るか馬鹿でかくないかまたはどちらもである」ということは成り立たない
事実10: もし仮になにがしかのものが実証するということはないならそれは着せがましかない
事実11: その三十六見附が実証しないとすればそのＥＲは買い目点数でない
事実12: もしも「その三十六見附は入り難い」ということは誤りでないとしたら「あの粗暴は定義付けないし買い目点数であるということはない」ということは誤りだ
事実13: もし仮にその三十六見附は買い目点数なら「あの粗暴は定義付けないし入り難くない」ということは誤っている
事実14: 仮に何らかの物は実証するし買い目点数ならそれは礼儀正しくない

仮説: そのＥＲは着せがましいということはない
1. 仮定1: 以下のように仮定する。その三十六見附は買い目点数だ
2. 事実13と仮定1から、推論1: "「あの粗暴は定義付けないしそれに入り難くない」ということは誤りである"が導かれる
3. 推論1と事実3から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その三十六見附は買い目点数でない"が導かれる
5. 推論3と事実5から、推論4: "そのＥＲは実証しない"が導かれる
6. 事実10から、推論5: "そのＥＲが実証しないとすると着せがましかない"が導かれる
7. 推論4と推論5から、仮説が導かれる

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