「この即興劇は雑談しない」ということは成り立つ
fact1: もしあのターンオーバーが付き難いならばこの大会社は予測し易い fact2: 仮にあのターンオーバーがコントロールし易いとすれば付き難い fact3: このスババーバは演説する fact4: そのビル街は演説する fact5: なにがしかのものは予測し易くないとすれば「それは付き難くないけれどコントロールし易い」ということは間違いである fact6: もし仮にこの大会社は予測し易いとしたら「そのビル街は定着し始めないがしかし予測し易い」ということは偽だ fact7: もし仮にこの大会社が定着し始めるとすればあのターンオーバーは予測し易いということはなくてそれに監視し易くない fact8: 「あのターンオーバーはコントロールし易い」ということは成り立つ fact9: 仮にこの即興劇は監視し易いなら「「そのビル街は予測し易くないしそれは監視し易くない」ということは事実である」ということは間違いである fact10: この大会社がコントロールし易いし予測し易いとしたらそのビル街は監視し易くない fact11: 仮にそのビル街が演説するし加えてそれが監視し易いならばこの即興劇は雑談するということはない fact12: もし仮に「そのビル街は定着し始めないしそれは予測し易くない」ということは事実と異なるならそれは監視し易い fact13: 「そのビル街は拡張カードだ」ということは事実と異ならない fact14: もし仮にこの大会社は予測し易いとすると「そのビル街は定着し始めないしかつ予測し易くない」ということは誤りだ
fact2 & fact8 -> int1: あのターンオーバーは付き難い; int1 & fact1 -> int2: この大会社は予測し易い; int2 & fact14 -> int3: 「そのビル街は定着し始めるということはないしそれに予測し易くない」ということは成り立たない; int3 & fact12 -> int4: 「そのビル街は監視し易い」ということは本当だ; int4 & fact4 -> int5: そのビル街は演説するしそれにそれは監視し易い; int5 & fact11 -> hypothesis;
この即興劇は雑談する
fact15 -> int6: もしあのターンオーバーは予測し易くないとすると「それは付き難くないがしかしコントロールし易い」ということは真実でない;
$facts$ = fact1: もしあのターンオーバーが付き難いならばこの大会社は予測し易い fact2: 仮にあのターンオーバーがコントロールし易いとすれば付き難い fact3: このスババーバは演説する fact4: そのビル街は演説する fact5: なにがしかのものは予測し易くないとすれば「それは付き難くないけれどコントロールし易い」ということは間違いである fact6: もし仮にこの大会社は予測し易いとしたら「そのビル街は定着し始めないがしかし予測し易い」ということは偽だ fact7: もし仮にこの大会社が定着し始めるとすればあのターンオーバーは予測し易いということはなくてそれに監視し易くない fact8: 「あのターンオーバーはコントロールし易い」ということは成り立つ fact9: 仮にこの即興劇は監視し易いなら「「そのビル街は予測し易くないしそれは監視し易くない」ということは事実である」ということは間違いである fact10: この大会社がコントロールし易いし予測し易いとしたらそのビル街は監視し易くない fact11: 仮にそのビル街が演説するし加えてそれが監視し易いならばこの即興劇は雑談するということはない fact12: もし仮に「そのビル街は定着し始めないしそれは予測し易くない」ということは事実と異なるならそれは監視し易い fact13: 「そのビル街は拡張カードだ」ということは事実と異ならない fact14: もし仮にこの大会社は予測し易いとすると「そのビル街は定着し始めないしかつ予測し易くない」ということは誤りだ ; $hypothesis$ = 「この即興劇は雑談しない」ということは成り立つ ; $proof$ = 
fact2 & fact8 -> int1: あのターンオーバーは付き難い; int1 & fact1 -> int2: この大会社は予測し易い; int2 & fact14 -> int3: 「そのビル街は定着し始めるということはないしそれに予測し易くない」ということは成り立たない; int3 & fact12 -> int4: 「そのビル街は監視し易い」ということは本当だ; int4 & fact4 -> int5: そのビル街は演説するしそれにそれは監視し易い; int5 & fact11 -> hypothesis; __PROVED__
事実1: もしあのターンオーバーが付き難いならばこの大会社は予測し易い
事実2: 仮にあのターンオーバーがコントロールし易いとすれば付き難い
事実3: このスババーバは演説する
事実4: そのビル街は演説する
事実5: なにがしかのものは予測し易くないとすれば「それは付き難くないけれどコントロールし易い」ということは間違いである
事実6: もし仮にこの大会社は予測し易いとしたら「そのビル街は定着し始めないがしかし予測し易い」ということは偽だ
事実7: もし仮にこの大会社が定着し始めるとすればあのターンオーバーは予測し易いということはなくてそれに監視し易くない
事実8: 「あのターンオーバーはコントロールし易い」ということは成り立つ
事実9: 仮にこの即興劇は監視し易いなら「「そのビル街は予測し易くないしそれは監視し易くない」ということは事実である」ということは間違いである
事実10: この大会社がコントロールし易いし予測し易いとしたらそのビル街は監視し易くない
事実11: 仮にそのビル街が演説するし加えてそれが監視し易いならばこの即興劇は雑談するということはない
事実12: もし仮に「そのビル街は定着し始めないしそれは予測し易くない」ということは事実と異なるならそれは監視し易い
事実13: 「そのビル街は拡張カードだ」ということは事実と異ならない
事実14: もし仮にこの大会社は予測し易いとすると「そのビル街は定着し始めないしかつ予測し易くない」ということは誤りだ

仮説: 「この即興劇は雑談しない」ということは成り立つ
1. 事実2と事実8から、推論1: "あのターンオーバーは付き難い"が導かれる
2. 推論1と事実1から、推論2: "この大会社は予測し易い"が導かれる
3. 推論2と事実14から、推論3: "「そのビル街は定着し始めるということはないしそれに予測し易くない」ということは成り立たない"が導かれる
4. 推論3と事実12から、推論4: "「そのビル街は監視し易い」ということは本当だ"が導かれる
5. 推論4と事実4から、推論5: "そのビル街は演説するしそれにそれは監視し易い"が導かれる
6. 推論5と事実11から、仮説が導かれる

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