あの告知は一般基準であるし内藤新宿だ
fact1: 「仮に「あの告知は解けない」ということは成り立つとしたらあの告知は一般基準である」ということは成り立つ fact2: もし仮に「あるものは役らしいということはないがしかし出会い易い」ということは偽であるとしたらそれは次期である fact3: 「「あの告知は役らしいしそれにそれは出会い易い」ということは正しい」ということは成り立たない fact4: この社外ブレーンは腫大しない fact5: ある物は内藤新宿でないならば「それは役らしいということはないが出会い易い」ということは成り立たない fact6: あの告知が次期ならばこの約十人は運転し易いけど透き通らない fact7: 「この社外ブレーンは減額するし更にそれは出会い易い」ということは偽だ fact8: 「この約十人は運転し易い」ということは成り立つ fact9: この社外ブレーンは腫大しないしそれは減額しない fact10: あの告知は耐ドライエッチング性でないかもしくは解けないか両方である fact11: 仮にあの告知は耐ドライエッチング性でないとしたら「それは一般基準である」ということは事実だ fact12: 運転し易くない物は内藤新宿でないがしかし次期だ fact13: この約十人は耐ドライエッチング性でない fact14: もし仮にあの告知が次期であるとするとこの約十人は運転し易い fact15: もしもなにかは役らしいならそれは次期である fact16: もしもこの約十人が一般基準であるならそれは運転し易くないし減額しない fact17: もし仮になにがしかのものは内藤新宿であるということはないならば「それは役らしいしその上出会い易い」ということは偽だ fact18: もし仮にこの約十人が運転し易いがしかしそれが透き通らないとしたらこの社外ブレーンは減額する fact19: 仮にこの約十人が内藤新宿でないとすればあの語らいは透き通る
fact5 -> int1: もしあの告知は内藤新宿でないならば「役らしくないが出会い易い」ということは嘘である; void -> assump1: 以下のように仮定する。あの告知は内藤新宿でない; int1 & assump1 -> int2: 「あの告知は役らしいということはない一方で出会い易い」ということは成り立つということはない; fact2 -> int3: もし「あの告知は役らしくないがしかし出会い易い」ということは誤っていれば「次期だ」ということは事実である; int2 & int3 -> int4: あの告知は次期だ; int4 & fact6 -> int5: この約十人は運転し易いけれど透き通らない; int5 & fact18 -> int6: この社外ブレーンは減額する; fact9 -> int7: この社外ブレーンは減額しない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの告知は内藤新宿である; fact10 & fact11 & fact1 -> int10: あの告知は一般基準である; int9 & int10 -> hypothesis;
あの語らいは透き通る
fact23 -> int11: 仮にこの約十人が運転し易くないとしたらそれは内藤新宿でないししかも次期である;
$facts$ = fact1: 「仮に「あの告知は解けない」ということは成り立つとしたらあの告知は一般基準である」ということは成り立つ fact2: もし仮に「あるものは役らしいということはないがしかし出会い易い」ということは偽であるとしたらそれは次期である fact3: 「「あの告知は役らしいしそれにそれは出会い易い」ということは正しい」ということは成り立たない fact4: この社外ブレーンは腫大しない fact5: ある物は内藤新宿でないならば「それは役らしいということはないが出会い易い」ということは成り立たない fact6: あの告知が次期ならばこの約十人は運転し易いけど透き通らない fact7: 「この社外ブレーンは減額するし更にそれは出会い易い」ということは偽だ fact8: 「この約十人は運転し易い」ということは成り立つ fact9: この社外ブレーンは腫大しないしそれは減額しない fact10: あの告知は耐ドライエッチング性でないかもしくは解けないか両方である fact11: 仮にあの告知は耐ドライエッチング性でないとしたら「それは一般基準である」ということは事実だ fact12: 運転し易くない物は内藤新宿でないがしかし次期だ fact13: この約十人は耐ドライエッチング性でない fact14: もし仮にあの告知が次期であるとするとこの約十人は運転し易い fact15: もしもなにかは役らしいならそれは次期である fact16: もしもこの約十人が一般基準であるならそれは運転し易くないし減額しない fact17: もし仮になにがしかのものは内藤新宿であるということはないならば「それは役らしいしその上出会い易い」ということは偽だ fact18: もし仮にこの約十人が運転し易いがしかしそれが透き通らないとしたらこの社外ブレーンは減額する fact19: 仮にこの約十人が内藤新宿でないとすればあの語らいは透き通る ; $hypothesis$ = あの告知は一般基準であるし内藤新宿だ ; $proof$ = 
fact5 -> int1: もしあの告知は内藤新宿でないならば「役らしくないが出会い易い」ということは嘘である; void -> assump1: 以下のように仮定する。あの告知は内藤新宿でない; int1 & assump1 -> int2: 「あの告知は役らしいということはない一方で出会い易い」ということは成り立つということはない; fact2 -> int3: もし「あの告知は役らしくないがしかし出会い易い」ということは誤っていれば「次期だ」ということは事実である; int2 & int3 -> int4: あの告知は次期だ; int4 & fact6 -> int5: この約十人は運転し易いけれど透き通らない; int5 & fact18 -> int6: この社外ブレーンは減額する; fact9 -> int7: この社外ブレーンは減額しない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの告知は内藤新宿である; fact10 & fact11 & fact1 -> int10: あの告知は一般基準である; int9 & int10 -> hypothesis; __PROVED__
事実1: 「仮に「あの告知は解けない」ということは成り立つとしたらあの告知は一般基準である」ということは成り立つ
事実2: もし仮に「あるものは役らしいということはないがしかし出会い易い」ということは偽であるとしたらそれは次期である
事実3: 「「あの告知は役らしいしそれにそれは出会い易い」ということは正しい」ということは成り立たない
事実4: この社外ブレーンは腫大しない
事実5: ある物は内藤新宿でないならば「それは役らしいということはないが出会い易い」ということは成り立たない
事実6: あの告知が次期ならばこの約十人は運転し易いけど透き通らない
事実7: 「この社外ブレーンは減額するし更にそれは出会い易い」ということは偽だ
事実8: 「この約十人は運転し易い」ということは成り立つ
事実9: この社外ブレーンは腫大しないしそれは減額しない
事実10: あの告知は耐ドライエッチング性でないかもしくは解けないか両方である
事実11: 仮にあの告知は耐ドライエッチング性でないとしたら「それは一般基準である」ということは事実だ
事実12: 運転し易くない物は内藤新宿でないがしかし次期だ
事実13: この約十人は耐ドライエッチング性でない
事実14: もし仮にあの告知が次期であるとするとこの約十人は運転し易い
事実15: もしもなにかは役らしいならそれは次期である
事実16: もしもこの約十人が一般基準であるならそれは運転し易くないし減額しない
事実17: もし仮になにがしかのものは内藤新宿であるということはないならば「それは役らしいしその上出会い易い」ということは偽だ
事実18: もし仮にこの約十人が運転し易いがしかしそれが透き通らないとしたらこの社外ブレーンは減額する
事実19: 仮にこの約十人が内藤新宿でないとすればあの語らいは透き通る

仮説: あの告知は一般基準であるし内藤新宿だ
1. 事実5から、推論1: "もしあの告知は内藤新宿でないならば「役らしくないが出会い易い」ということは嘘である"が導かれる
2. 仮定1: 以下のように仮定する。あの告知は内藤新宿でない
3. 推論1と仮定1から、推論2: "「あの告知は役らしいということはない一方で出会い易い」ということは成り立つということはない"が導かれる
4. 事実2から、推論3: "もし「あの告知は役らしくないがしかし出会い易い」ということは誤っていれば「次期だ」ということは事実である"が導かれる
5. 推論2と推論3から、推論4: "あの告知は次期だ"が導かれる
6. 推論4と事実6から、推論5: "この約十人は運転し易いけれど透き通らない"が導かれる
7. 推論5と事実18から、推論6: "この社外ブレーンは減額する"が導かれる
8. 事実9から、推論7: "この社外ブレーンは減額しない"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの告知は内藤新宿である"が導かれる
11. 事実10と事実11と事実1から、推論10: "あの告知は一般基準である"が導かれる
12. 推論9と推論10から、仮説が導かれる

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