「もし仮に「アッピールするということはないしかつ善がり泣かない」ということは誤っているとしたら遠望しない」物はある
fact1: 「もしアッピールすれば遠望しない」ものはある fact2: 「もしアッピールしないし善がり泣かないとすれば遠望しない」ものはある fact3: 仮に「この革命権はアッピールしないし善がり泣かない」ということは事実と異なるとすると「遠望する」ということは事実だ fact4: もし仮に「なにかはリスク選択であるということはないしその上情報提供会計でない」ということは誤りならそれは密封容器でない fact5: 「もし「アッピールしない一方で善がり泣く」ということは誤りなら遠望しない」物はある fact6: 「「離陸しないしその上物寂しくない」ということは誤りなら「差し出がましかない」ということは事実である」ものはある fact7: もしもこの革命権が遠望すれば合わせ易くない fact8: もしもその蒸留酒が大掃除するとしたらそれは話し辛くない fact9: 「もし「飛び乗るということはない一方で停泊する」ということは偽であるとしたら甲斐甲斐しいということはない」物はある fact10: 「もし「なにかは重ならないしその上善がり泣かない」ということは成り立たないとすればそれはプレビュー出来ない」ということは成り立つ fact11: もしも「この革命権はアッピールしなくてしかも善がり泣くということはない」ということは成り立たないならばそれは遠望しない fact12: 「仮に「童女でなくてその上物凄まじい」ということは誤っているとすると欲しかない」物はある fact13: もし「この革命権はアッピールしないがしかし善がり泣く」ということは成り立たないとすると遠望しない fact14: 「もし仮に「白人社会でないしさらに一画でない」ということは誤りであるとしたら勤労者世帯でない」物はある fact15: もし仮にこの革命権は物有りでないしおまけに大収穫でないとしたら「各停でない」ということは成り立つ
fact11 -> hypothesis;
「仮に「リスク選択でないし更に情報提供会計だということはない」ということは偽ならば密封容器でない」ものはある
fact16 -> int1: もしも「「このプレイボーイはリスク選択でないしかつそれは情報提供会計でない」ということは正しい」ということは成り立たないならそれは密封容器でない; int1 -> hypothesis;
$facts$ = fact1: 「もしアッピールすれば遠望しない」ものはある fact2: 「もしアッピールしないし善がり泣かないとすれば遠望しない」ものはある fact3: 仮に「この革命権はアッピールしないし善がり泣かない」ということは事実と異なるとすると「遠望する」ということは事実だ fact4: もし仮に「なにかはリスク選択であるということはないしその上情報提供会計でない」ということは誤りならそれは密封容器でない fact5: 「もし「アッピールしない一方で善がり泣く」ということは誤りなら遠望しない」物はある fact6: 「「離陸しないしその上物寂しくない」ということは誤りなら「差し出がましかない」ということは事実である」ものはある fact7: もしもこの革命権が遠望すれば合わせ易くない fact8: もしもその蒸留酒が大掃除するとしたらそれは話し辛くない fact9: 「もし「飛び乗るということはない一方で停泊する」ということは偽であるとしたら甲斐甲斐しいということはない」物はある fact10: 「もし「なにかは重ならないしその上善がり泣かない」ということは成り立たないとすればそれはプレビュー出来ない」ということは成り立つ fact11: もしも「この革命権はアッピールしなくてしかも善がり泣くということはない」ということは成り立たないならばそれは遠望しない fact12: 「仮に「童女でなくてその上物凄まじい」ということは誤っているとすると欲しかない」物はある fact13: もし「この革命権はアッピールしないがしかし善がり泣く」ということは成り立たないとすると遠望しない fact14: 「もし仮に「白人社会でないしさらに一画でない」ということは誤りであるとしたら勤労者世帯でない」物はある fact15: もし仮にこの革命権は物有りでないしおまけに大収穫でないとしたら「各停でない」ということは成り立つ ; $hypothesis$ = 「もし仮に「アッピールするということはないしかつ善がり泣かない」ということは誤っているとしたら遠望しない」物はある ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: 「もしアッピールすれば遠望しない」ものはある
事実2: 「もしアッピールしないし善がり泣かないとすれば遠望しない」ものはある
事実3: 仮に「この革命権はアッピールしないし善がり泣かない」ということは事実と異なるとすると「遠望する」ということは事実だ
事実4: もし仮に「なにかはリスク選択であるということはないしその上情報提供会計でない」ということは誤りならそれは密封容器でない
事実5: 「もし「アッピールしない一方で善がり泣く」ということは誤りなら遠望しない」物はある
事実6: 「「離陸しないしその上物寂しくない」ということは誤りなら「差し出がましかない」ということは事実である」ものはある
事実7: もしもこの革命権が遠望すれば合わせ易くない
事実8: もしもその蒸留酒が大掃除するとしたらそれは話し辛くない
事実9: 「もし「飛び乗るということはない一方で停泊する」ということは偽であるとしたら甲斐甲斐しいということはない」物はある
事実10: 「もし「なにかは重ならないしその上善がり泣かない」ということは成り立たないとすればそれはプレビュー出来ない」ということは成り立つ
事実11: もしも「この革命権はアッピールしなくてしかも善がり泣くということはない」ということは成り立たないならばそれは遠望しない
事実12: 「仮に「童女でなくてその上物凄まじい」ということは誤っているとすると欲しかない」物はある
事実13: もし「この革命権はアッピールしないがしかし善がり泣く」ということは成り立たないとすると遠望しない
事実14: 「もし仮に「白人社会でないしさらに一画でない」ということは誤りであるとしたら勤労者世帯でない」物はある
事実15: もし仮にこの革命権は物有りでないしおまけに大収穫でないとしたら「各停でない」ということは成り立つ

仮説: 「もし仮に「アッピールするということはないしかつ善がり泣かない」ということは誤っているとしたら遠望しない」物はある
1. 事実11から、仮説が導かれる

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