その病院経営者は苦々しかないししかも追い遣らない
fact1: もしその政治闘争が追い遣らないならその病院経営者は苦々しかない fact2: もし仮にこのコントローラーが見せびらかさないとすればその病院経営者が縦型だしかつ組み入れる fact3: もし仮に「なにがしかの物は法律事務所でないかまたは行き難くないかもしくは両方だ」ということは成り立たないとするとそれはちんする fact4: もしこのコントローラーは組み入れれば「「それはＸＭＬファイルであるということはないかちんしないか両方である」ということは本当だ」ということは嘘だ fact5: 「「なにがしかのものはなあいしさらに供給支障電力である」ということは正しい」ということは成り立たないとしたら「見せびらかさない」ということは本当である fact6: もし「このコントローラーはＸＭＬファイルでないかあるいはそれはちんするということはない」ということは偽であるとすればそれは縦型だ fact7: もしあのＭＩＭＥが描き易いとするとその政治闘争はなあいということはない fact8: その百万語は組み入れる fact9: もしこのコントローラーは縦型であるとすると「「その政治闘争は縦型でないしその上見せびらかさない」ということは本当だということはない」ということは確かだ fact10: もしもある物は組み入れるとすれば「苦々しいということはないしまたそれは追い遣るということはない」ということは成り立つということはない fact11: もしもその政治闘争が追い遣るということはないならばその病院経営者は苦々しかないしまた追い遣らない fact12: あの流しはＸＭＬファイルだ fact13: 「何かは縦型でなくて見せびらかさない」ということは成り立たないならば追い遣るということはない fact14: このコントローラーは組み入れる
fact4 & fact14 -> int1: 「「このコントローラーはＸＭＬファイルでないかもしくはちんするということはないかどちらもである」ということは事実と異なる」ということは誤りでない; int1 & fact6 -> int2: このコントローラーは縦型だ; int2 & fact9 -> int3: 「その政治闘争は縦型でないしまた見せびらかさない」ということは成り立たない; fact13 -> int4: もしも「その政治闘争は縦型でないしさらにそれは見せびらかさない」ということは成り立たないならば追い遣るということはない; int3 & int4 -> int5: その政治闘争は追い遣らない; int5 & fact11 -> hypothesis;
「その病院経営者は苦々しかないし追い遣らない」ということは事実と異なる
fact15 -> int6: もしも「その病院経営者は組み入れる」ということは事実なら「苦々しかないしその上追い遣らない」ということは成り立たない; fact18 -> int7: もしも「このコントローラーはなあいし供給支障電力である」ということは偽だとすると見せびらかさない;
$facts$ = fact1: もしその政治闘争が追い遣らないならその病院経営者は苦々しかない fact2: もし仮にこのコントローラーが見せびらかさないとすればその病院経営者が縦型だしかつ組み入れる fact3: もし仮に「なにがしかの物は法律事務所でないかまたは行き難くないかもしくは両方だ」ということは成り立たないとするとそれはちんする fact4: もしこのコントローラーは組み入れれば「「それはＸＭＬファイルであるということはないかちんしないか両方である」ということは本当だ」ということは嘘だ fact5: 「「なにがしかのものはなあいしさらに供給支障電力である」ということは正しい」ということは成り立たないとしたら「見せびらかさない」ということは本当である fact6: もし「このコントローラーはＸＭＬファイルでないかあるいはそれはちんするということはない」ということは偽であるとすればそれは縦型だ fact7: もしあのＭＩＭＥが描き易いとするとその政治闘争はなあいということはない fact8: その百万語は組み入れる fact9: もしこのコントローラーは縦型であるとすると「「その政治闘争は縦型でないしその上見せびらかさない」ということは本当だということはない」ということは確かだ fact10: もしもある物は組み入れるとすれば「苦々しいということはないしまたそれは追い遣るということはない」ということは成り立つということはない fact11: もしもその政治闘争が追い遣るということはないならばその病院経営者は苦々しかないしまた追い遣らない fact12: あの流しはＸＭＬファイルだ fact13: 「何かは縦型でなくて見せびらかさない」ということは成り立たないならば追い遣るということはない fact14: このコントローラーは組み入れる ; $hypothesis$ = その病院経営者は苦々しかないししかも追い遣らない ; $proof$ = 
fact4 & fact14 -> int1: 「「このコントローラーはＸＭＬファイルでないかもしくはちんするということはないかどちらもである」ということは事実と異なる」ということは誤りでない; int1 & fact6 -> int2: このコントローラーは縦型だ; int2 & fact9 -> int3: 「その政治闘争は縦型でないしまた見せびらかさない」ということは成り立たない; fact13 -> int4: もしも「その政治闘争は縦型でないしさらにそれは見せびらかさない」ということは成り立たないならば追い遣るということはない; int3 & int4 -> int5: その政治闘争は追い遣らない; int5 & fact11 -> hypothesis; __PROVED__
事実1: もしその政治闘争が追い遣らないならその病院経営者は苦々しかない
事実2: もし仮にこのコントローラーが見せびらかさないとすればその病院経営者が縦型だしかつ組み入れる
事実3: もし仮に「なにがしかの物は法律事務所でないかまたは行き難くないかもしくは両方だ」ということは成り立たないとするとそれはちんする
事実4: もしこのコントローラーは組み入れれば「「それはＸＭＬファイルであるということはないかちんしないか両方である」ということは本当だ」ということは嘘だ
事実5: 「「なにがしかのものはなあいしさらに供給支障電力である」ということは正しい」ということは成り立たないとしたら「見せびらかさない」ということは本当である
事実6: もし「このコントローラーはＸＭＬファイルでないかあるいはそれはちんするということはない」ということは偽であるとすればそれは縦型だ
事実7: もしあのＭＩＭＥが描き易いとするとその政治闘争はなあいということはない
事実8: その百万語は組み入れる
事実9: もしこのコントローラーは縦型であるとすると「「その政治闘争は縦型でないしその上見せびらかさない」ということは本当だということはない」ということは確かだ
事実10: もしもある物は組み入れるとすれば「苦々しいということはないしまたそれは追い遣るということはない」ということは成り立つということはない
事実11: もしもその政治闘争が追い遣るということはないならばその病院経営者は苦々しかないしまた追い遣らない
事実12: あの流しはＸＭＬファイルだ
事実13: 「何かは縦型でなくて見せびらかさない」ということは成り立たないならば追い遣るということはない
事実14: このコントローラーは組み入れる

仮説: その病院経営者は苦々しかないししかも追い遣らない
1. 事実4と事実14から、推論1: "「「このコントローラーはＸＭＬファイルでないかもしくはちんするということはないかどちらもである」ということは事実と異なる」ということは誤りでない"が導かれる
2. 推論1と事実6から、推論2: "このコントローラーは縦型だ"が導かれる
3. 推論2と事実9から、推論3: "「その政治闘争は縦型でないしまた見せびらかさない」ということは成り立たない"が導かれる
4. 事実13から、推論4: "もしも「その政治闘争は縦型でないしさらにそれは見せびらかさない」ということは成り立たないならば追い遣るということはない"が導かれる
5. 推論3と推論4から、推論5: "その政治闘争は追い遣らない"が導かれる
6. 推論5と事実11から、仮説が導かれる

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