もしもあの株主以外が旗差し物であるということはないならばあの公判は喋らさない
fact1: 仮にあの株主以外が喋らすとするとあの公判は気の毒がらない fact2: あの株主以外が旗差し物であるとしたらあの公判は喋らさない fact3: あの株主以外は旗差し物ならば「「それは気の毒がるし更にそれは用途地域である」ということは確かである」ということは誤りである fact4: 「あの公判は用途地域でない」ということは事実であるとすると「喋らすしその上旗差し物だ」ということは誤りだ fact5: 「あの公判は気の毒がるしおまけにそれは喋らす」ということは本当でない fact6: 「あの公判は気の毒がらない」ということは真実であるならば「あの株主以外は旗差し物でない」ということは確かだ fact7: 「あの公判は喋らすしさらに気の毒がる」ということは誤りだ fact8: もし「あの株主以外は気の毒がらない」ということは確かならばあの公判は喋らさない fact9: 何らかの物は旗差し物でないとしたら「それは気の毒がるし更に用途地域である」ということは成り立たない fact10: 「あの株主以外は気の毒がるし喋らす」ということは偽だ fact11: もしも「とある物は長期滞在しない」ということは間違いでないとすると「それはすごーいしまたそれは動き難い」ということは嘘だ fact12: その宿直室は喋らすということはない fact13: もしあの株主以外は用途地域でないなら「それが喋らすしその上それは旗差し物だ」ということは成り立たない fact14: 「あの公判は旗差し物でない」ということは真実だとすれば「気の毒がるし喋らす」ということは成り立たない fact15: もしも「あの公判が旗差し物だし気の毒がる」ということは成り立たないならばあの株主以外は喋らさない fact16: あのレーザー脱毛は用途地域でない fact17: もし仮に「「あの株主以外は気の毒がるししかも用途地域だ」ということは成り立つ」ということは間違っているとするとあの公判は喋らさない fact18: もし仮になんらかのものは旗差し物であるならば「それは気の毒がるし加えて用途地域だ」ということは誤っている fact19: 「あの公判は喋らすしそれは旗差し物だ」ということは成り立たない fact20: 仮にあの株主以外が旗差し物ならあの公判は気の毒がらない fact21: あの公判は旗差し物でない
fact9 -> int1: 仮に「あの株主以外は旗差し物でない」ということは確かならば「気の毒がるしその上用途地域である」ということは間違いである; void -> assump1: 以下のように仮定する。あの株主以外は旗差し物であるということはない; int1 & assump1 -> int2: 「あの株主以外は気の毒がるし用途地域である」ということは事実と異なる; int2 & fact17 -> int3: 「あの公判は喋らすということはない」ということは本当である; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 仮にあの株主以外が喋らすとするとあの公判は気の毒がらない fact2: あの株主以外が旗差し物であるとしたらあの公判は喋らさない fact3: あの株主以外は旗差し物ならば「「それは気の毒がるし更にそれは用途地域である」ということは確かである」ということは誤りである fact4: 「あの公判は用途地域でない」ということは事実であるとすると「喋らすしその上旗差し物だ」ということは誤りだ fact5: 「あの公判は気の毒がるしおまけにそれは喋らす」ということは本当でない fact6: 「あの公判は気の毒がらない」ということは真実であるならば「あの株主以外は旗差し物でない」ということは確かだ fact7: 「あの公判は喋らすしさらに気の毒がる」ということは誤りだ fact8: もし「あの株主以外は気の毒がらない」ということは確かならばあの公判は喋らさない fact9: 何らかの物は旗差し物でないとしたら「それは気の毒がるし更に用途地域である」ということは成り立たない fact10: 「あの株主以外は気の毒がるし喋らす」ということは偽だ fact11: もしも「とある物は長期滞在しない」ということは間違いでないとすると「それはすごーいしまたそれは動き難い」ということは嘘だ fact12: その宿直室は喋らすということはない fact13: もしあの株主以外は用途地域でないなら「それが喋らすしその上それは旗差し物だ」ということは成り立たない fact14: 「あの公判は旗差し物でない」ということは真実だとすれば「気の毒がるし喋らす」ということは成り立たない fact15: もしも「あの公判が旗差し物だし気の毒がる」ということは成り立たないならばあの株主以外は喋らさない fact16: あのレーザー脱毛は用途地域でない fact17: もし仮に「「あの株主以外は気の毒がるししかも用途地域だ」ということは成り立つ」ということは間違っているとするとあの公判は喋らさない fact18: もし仮になんらかのものは旗差し物であるならば「それは気の毒がるし加えて用途地域だ」ということは誤っている fact19: 「あの公判は喋らすしそれは旗差し物だ」ということは成り立たない fact20: 仮にあの株主以外が旗差し物ならあの公判は気の毒がらない fact21: あの公判は旗差し物でない ; $hypothesis$ = もしもあの株主以外が旗差し物であるということはないならばあの公判は喋らさない ; $proof$ = 
fact9 -> int1: 仮に「あの株主以外は旗差し物でない」ということは確かならば「気の毒がるしその上用途地域である」ということは間違いである; void -> assump1: 以下のように仮定する。あの株主以外は旗差し物であるということはない; int1 & assump1 -> int2: 「あの株主以外は気の毒がるし用途地域である」ということは事実と異なる; int2 & fact17 -> int3: 「あの公判は喋らすということはない」ということは本当である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮にあの株主以外が喋らすとするとあの公判は気の毒がらない
事実2: あの株主以外が旗差し物であるとしたらあの公判は喋らさない
事実3: あの株主以外は旗差し物ならば「「それは気の毒がるし更にそれは用途地域である」ということは確かである」ということは誤りである
事実4: 「あの公判は用途地域でない」ということは事実であるとすると「喋らすしその上旗差し物だ」ということは誤りだ
事実5: 「あの公判は気の毒がるしおまけにそれは喋らす」ということは本当でない
事実6: 「あの公判は気の毒がらない」ということは真実であるならば「あの株主以外は旗差し物でない」ということは確かだ
事実7: 「あの公判は喋らすしさらに気の毒がる」ということは誤りだ
事実8: もし「あの株主以外は気の毒がらない」ということは確かならばあの公判は喋らさない
事実9: 何らかの物は旗差し物でないとしたら「それは気の毒がるし更に用途地域である」ということは成り立たない
事実10: 「あの株主以外は気の毒がるし喋らす」ということは偽だ
事実11: もしも「とある物は長期滞在しない」ということは間違いでないとすると「それはすごーいしまたそれは動き難い」ということは嘘だ
事実12: その宿直室は喋らすということはない
事実13: もしあの株主以外は用途地域でないなら「それが喋らすしその上それは旗差し物だ」ということは成り立たない
事実14: 「あの公判は旗差し物でない」ということは真実だとすれば「気の毒がるし喋らす」ということは成り立たない
事実15: もしも「あの公判が旗差し物だし気の毒がる」ということは成り立たないならばあの株主以外は喋らさない
事実16: あのレーザー脱毛は用途地域でない
事実17: もし仮に「「あの株主以外は気の毒がるししかも用途地域だ」ということは成り立つ」ということは間違っているとするとあの公判は喋らさない
事実18: もし仮になんらかのものは旗差し物であるならば「それは気の毒がるし加えて用途地域だ」ということは誤っている
事実19: 「あの公判は喋らすしそれは旗差し物だ」ということは成り立たない
事実20: 仮にあの株主以外が旗差し物ならあの公判は気の毒がらない
事実21: あの公判は旗差し物でない

仮説: もしもあの株主以外が旗差し物であるということはないならばあの公判は喋らさない
1. 事実9から、推論1: "仮に「あの株主以外は旗差し物でない」ということは確かならば「気の毒がるしその上用途地域である」ということは間違いである"が導かれる
2. 仮定1: 以下のように仮定する。あの株主以外は旗差し物であるということはない
3. 推論1と仮定1から、推論2: "「あの株主以外は気の毒がるし用途地域である」ということは事実と異なる"が導かれる
4. 推論2と事実17から、推論3: "「あの公判は喋らすということはない」ということは本当である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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