この銀行主導はリベラルである
fact1: もし仮になにかはフォントプロパティでないとすれば「取り出し易いし見間違う」ということは偽である fact2: 「この銀行主導は併行する」ということは成り立てばこの接着性は取り出し易くない一方でフォントプロパティである fact3: この前代が遠吠えするならこのダブルドアは遠吠えする fact4: 「「「研鑽であるということはないしその上引っ掻き回さない」ということは成り立つ」ということは嘘である」ものはある fact5: 仮にその放牧が研鑽でないならばこの銀行主導は交じり合うししかも併行する fact6: 「掛け過ぎる」物はある fact7: 仮に「とあるものは取り出し易いということはない」ということは真実であるならそれはリベラルで見間違う fact8: もしも「掛け過ぎる」ものはあるなら「そのエッジは引っ掻き回さない」ということは事実である fact9: もし仮に「このアタランスは非難がましい一方で打ち勝てない」ということは成り立つということはないならばこの前代は非難がましい fact10: もし仮になにがしかのものが非難がましいなら遠吠えする fact11: 何かは遠吠えするとすると「それは飢え乾くしまた前兆でない」ということは事実と異なる fact12: なんらかの物がめんどいとすれば宿る fact13: もしもこのダブルドアが宿るとすればあのエッジは宿る fact14: この銀行主導はリベラルだ fact15: もしも何かは宿るがしかしそれは引っ掻き回すということはないとすると「その放牧は研鑽でない」ということは成り立つ fact16: もし仮に「なんらかのものは飢え乾くけれど前兆でない」ということは正しくないならば「めんどい」ということは本当だ fact17: 「このアタランスは非難がましいけど打ち勝てない」ということは誤りだ fact18: もしもこの銀行主導は併行しないかあるいは交じり合うということはないかまたは両方だとすればそれはフォントプロパティでない
fact14 -> hypothesis;
fact14 -> hypothesis;
この銀行主導はリベラルでない
fact21 -> int1: もしも「この銀行主導はフォントプロパティでない」ということは成り立つなら「取り出し易いし見間違う」ということは間違っている;
$facts$ = fact1: もし仮になにかはフォントプロパティでないとすれば「取り出し易いし見間違う」ということは偽である fact2: 「この銀行主導は併行する」ということは成り立てばこの接着性は取り出し易くない一方でフォントプロパティである fact3: この前代が遠吠えするならこのダブルドアは遠吠えする fact4: 「「「研鑽であるということはないしその上引っ掻き回さない」ということは成り立つ」ということは嘘である」ものはある fact5: 仮にその放牧が研鑽でないならばこの銀行主導は交じり合うししかも併行する fact6: 「掛け過ぎる」物はある fact7: 仮に「とあるものは取り出し易いということはない」ということは真実であるならそれはリベラルで見間違う fact8: もしも「掛け過ぎる」ものはあるなら「そのエッジは引っ掻き回さない」ということは事実である fact9: もし仮に「このアタランスは非難がましい一方で打ち勝てない」ということは成り立つということはないならばこの前代は非難がましい fact10: もし仮になにがしかのものが非難がましいなら遠吠えする fact11: 何かは遠吠えするとすると「それは飢え乾くしまた前兆でない」ということは事実と異なる fact12: なんらかの物がめんどいとすれば宿る fact13: もしもこのダブルドアが宿るとすればあのエッジは宿る fact14: この銀行主導はリベラルだ fact15: もしも何かは宿るがしかしそれは引っ掻き回すということはないとすると「その放牧は研鑽でない」ということは成り立つ fact16: もし仮に「なんらかのものは飢え乾くけれど前兆でない」ということは正しくないならば「めんどい」ということは本当だ fact17: 「このアタランスは非難がましいけど打ち勝てない」ということは誤りだ fact18: もしもこの銀行主導は併行しないかあるいは交じり合うということはないかまたは両方だとすればそれはフォントプロパティでない ; $hypothesis$ = この銀行主導はリベラルである ; $proof$ = 
fact14 -> hypothesis; __PROVED__
事実1: もし仮になにかはフォントプロパティでないとすれば「取り出し易いし見間違う」ということは偽である
事実2: 「この銀行主導は併行する」ということは成り立てばこの接着性は取り出し易くない一方でフォントプロパティである
事実3: この前代が遠吠えするならこのダブルドアは遠吠えする
事実4: 「「「研鑽であるということはないしその上引っ掻き回さない」ということは成り立つ」ということは嘘である」ものはある
事実5: 仮にその放牧が研鑽でないならばこの銀行主導は交じり合うししかも併行する
事実6: 「掛け過ぎる」物はある
事実7: 仮に「とあるものは取り出し易いということはない」ということは真実であるならそれはリベラルで見間違う
事実8: もしも「掛け過ぎる」ものはあるなら「そのエッジは引っ掻き回さない」ということは事実である
事実9: もし仮に「このアタランスは非難がましい一方で打ち勝てない」ということは成り立つということはないならばこの前代は非難がましい
事実10: もし仮になにがしかのものが非難がましいなら遠吠えする
事実11: 何かは遠吠えするとすると「それは飢え乾くしまた前兆でない」ということは事実と異なる
事実12: なんらかの物がめんどいとすれば宿る
事実13: もしもこのダブルドアが宿るとすればあのエッジは宿る
事実14: この銀行主導はリベラルだ
事実15: もしも何かは宿るがしかしそれは引っ掻き回すということはないとすると「その放牧は研鑽でない」ということは成り立つ
事実16: もし仮に「なんらかのものは飢え乾くけれど前兆でない」ということは正しくないならば「めんどい」ということは本当だ
事実17: 「このアタランスは非難がましいけど打ち勝てない」ということは誤りだ
事実18: もしもこの銀行主導は併行しないかあるいは交じり合うということはないかまたは両方だとすればそれはフォントプロパティでない

仮説: この銀行主導はリベラルである
1. 事実14から、仮説が導かれる

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