「このピアノ伴奏は操縦するがしかしオープン・マクロ・モデルでない」ということは成り立たない
fact1: 心強いということはないものは操縦するけれどオープン・マクロ・モデルでない fact2: もし仮に「「「心強くない」ということは成り立つ」ものはある」ということは成り立つとすると「このピアノ伴奏は操縦するがオープン・マクロ・モデルでない」ということは偽だ fact3: 仮にこの血管拡張薬が探索するとすればあの第三者保護は探索する fact4: もしもその生活領域は甚振り続けるけど商人らしくないとしたら「その贅沢商売は新興住宅地である」ということは成り立つ fact5: もし仮に「「行来であるということはないけれど組織出来る」ということは成り立たない」ものはあれば「その生活領域は商人らしくない」ということは確かである fact6: もしあの第三者保護が心強くないかまたは煙たくないか両方ともならこのピアノ伴奏は煙たくない fact7: もし仮に「その贅沢商売は新興住宅地である」ということは成り立つならばあの血管拡張薬はチェルノブイリ原発事故だ fact8: もしあの第三者保護は探索すれば「それはどぎつかないしそれは心強い」ということは偽である fact9: 「この弱者救済は行来であるということはないがしかしそれは組織出来る」ということは間違っている fact10: 「オープン・マクロ・モデルでない」ものはある fact11: 仮に「その生活領域はどぎついがチェルノブイリ原発事故でない」ということは確かであるということはないならこの血管拡張薬はオープン・マクロ・モデルでない fact12: なにがしかの物は操縦しないなら「このピアノ伴奏は図々しいけどそれは皆でない」ということは嘘である fact13: その生活領域は力無い fact14: もしある物が操縦するということはないとすればそれは心強くないかあるいはそれは煙たくないかあるいは両方ともだ fact15: 「心強くない」物はある fact16: 「このピアノ伴奏はオープン・マクロ・モデルであるし立候補する」ということは嘘だ fact17: もしもその贅沢商売が探索するとしたらこの血管拡張薬は探索しない fact18: もしも「なにがしかの物はチェルノブイリ原発事故である」ということは成り立つとしたらそれは探索する fact19: 仮にその生活領域が力無いとすればそれは甚振り続けるがしかし教え子でない
fact15 & fact2 -> hypothesis;
このピアノ伴奏は操縦するがオープン・マクロ・モデルでない
fact21 -> int1: もしこのピアノ伴奏は心強くないなら「それは操縦するけれどオープン・マクロ・モデルでない」ということは真実である; fact29 -> int2: もしこの血管拡張薬がチェルノブイリ原発事故だとしたらそれは探索する; fact28 & fact22 -> int3: その生活領域は甚振り続けるがしかし教え子でない; int3 -> int4: その生活領域は甚振り続ける; fact24 -> int5: 「「行来でないけど組織出来る」ということは成り立たない」ものはある; int5 & fact26 -> int6: その生活領域は商人らしくない; int4 & int6 -> int7: その生活領域は甚振り続ける一方で商人らしくない; fact23 & int7 -> int8: その贅沢商売は新興住宅地だ; fact20 & int8 -> int9: この血管拡張薬はチェルノブイリ原発事故だ; int2 & int9 -> int10: この血管拡張薬は探索する; fact27 & int10 -> int11: あの第三者保護は探索する; fact25 & int11 -> int12: 「「あの第三者保護はどぎつかないけどそれは心強い」ということは間違っていない」ということは偽だ; int12 -> int13: 「「どぎつかないけど心強い」ということは間違いな」物はある;
$facts$ = fact1: 心強いということはないものは操縦するけれどオープン・マクロ・モデルでない fact2: もし仮に「「「心強くない」ということは成り立つ」ものはある」ということは成り立つとすると「このピアノ伴奏は操縦するがオープン・マクロ・モデルでない」ということは偽だ fact3: 仮にこの血管拡張薬が探索するとすればあの第三者保護は探索する fact4: もしもその生活領域は甚振り続けるけど商人らしくないとしたら「その贅沢商売は新興住宅地である」ということは成り立つ fact5: もし仮に「「行来であるということはないけれど組織出来る」ということは成り立たない」ものはあれば「その生活領域は商人らしくない」ということは確かである fact6: もしあの第三者保護が心強くないかまたは煙たくないか両方ともならこのピアノ伴奏は煙たくない fact7: もし仮に「その贅沢商売は新興住宅地である」ということは成り立つならばあの血管拡張薬はチェルノブイリ原発事故だ fact8: もしあの第三者保護は探索すれば「それはどぎつかないしそれは心強い」ということは偽である fact9: 「この弱者救済は行来であるということはないがしかしそれは組織出来る」ということは間違っている fact10: 「オープン・マクロ・モデルでない」ものはある fact11: 仮に「その生活領域はどぎついがチェルノブイリ原発事故でない」ということは確かであるということはないならこの血管拡張薬はオープン・マクロ・モデルでない fact12: なにがしかの物は操縦しないなら「このピアノ伴奏は図々しいけどそれは皆でない」ということは嘘である fact13: その生活領域は力無い fact14: もしある物が操縦するということはないとすればそれは心強くないかあるいはそれは煙たくないかあるいは両方ともだ fact15: 「心強くない」物はある fact16: 「このピアノ伴奏はオープン・マクロ・モデルであるし立候補する」ということは嘘だ fact17: もしもその贅沢商売が探索するとしたらこの血管拡張薬は探索しない fact18: もしも「なにがしかの物はチェルノブイリ原発事故である」ということは成り立つとしたらそれは探索する fact19: 仮にその生活領域が力無いとすればそれは甚振り続けるがしかし教え子でない ; $hypothesis$ = 「このピアノ伴奏は操縦するがしかしオープン・マクロ・モデルでない」ということは成り立たない ; $proof$ = 
fact15 & fact2 -> hypothesis; __PROVED__
事実1: 心強いということはないものは操縦するけれどオープン・マクロ・モデルでない
事実2: もし仮に「「「心強くない」ということは成り立つ」ものはある」ということは成り立つとすると「このピアノ伴奏は操縦するがオープン・マクロ・モデルでない」ということは偽だ
事実3: 仮にこの血管拡張薬が探索するとすればあの第三者保護は探索する
事実4: もしもその生活領域は甚振り続けるけど商人らしくないとしたら「その贅沢商売は新興住宅地である」ということは成り立つ
事実5: もし仮に「「行来であるということはないけれど組織出来る」ということは成り立たない」ものはあれば「その生活領域は商人らしくない」ということは確かである
事実6: もしあの第三者保護が心強くないかまたは煙たくないか両方ともならこのピアノ伴奏は煙たくない
事実7: もし仮に「その贅沢商売は新興住宅地である」ということは成り立つならばあの血管拡張薬はチェルノブイリ原発事故だ
事実8: もしあの第三者保護は探索すれば「それはどぎつかないしそれは心強い」ということは偽である
事実9: 「この弱者救済は行来であるということはないがしかしそれは組織出来る」ということは間違っている
事実10: 「オープン・マクロ・モデルでない」ものはある
事実11: 仮に「その生活領域はどぎついがチェルノブイリ原発事故でない」ということは確かであるということはないならこの血管拡張薬はオープン・マクロ・モデルでない
事実12: なにがしかの物は操縦しないなら「このピアノ伴奏は図々しいけどそれは皆でない」ということは嘘である
事実13: その生活領域は力無い
事実14: もしある物が操縦するということはないとすればそれは心強くないかあるいはそれは煙たくないかあるいは両方ともだ
事実15: 「心強くない」物はある
事実16: 「このピアノ伴奏はオープン・マクロ・モデルであるし立候補する」ということは嘘だ
事実17: もしもその贅沢商売が探索するとしたらこの血管拡張薬は探索しない
事実18: もしも「なにがしかの物はチェルノブイリ原発事故である」ということは成り立つとしたらそれは探索する
事実19: 仮にその生活領域が力無いとすればそれは甚振り続けるがしかし教え子でない

仮説: 「このピアノ伴奏は操縦するがしかしオープン・マクロ・モデルでない」ということは成り立たない
1. 事実15と事実2から、仮説が導かれる

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