「もし「洋画家であるしおまけに経済計画である」ということは事実と異なるとしたら配慮事項でない」ものはある
fact1: もしも「あの神学は薄くてまた申し込める」ということは嘘であるとすれば配慮事項でない fact2: 「仮に外食しないならば舞い上がらない」ものはある fact3: 「もし「人出だしまた長方形である」ということは誤りであるなら計量しない」ものはある fact4: もしも「この堤工場はトランクパネルであるしさらに書き難い」ということは間違いであるとするとそれは油彩でない fact5: 「なにかは外食するしその上それは経済計画だ」ということは成り立つということはないとすれば醜くない fact6: 仮に「「そのロジスティクス・システムはおもろいし醜い」ということは間違っていない」ということは誤りであるならそれは螺鈿細工だ fact7: 「もし仮に盟約するしその上彷彿するとすると「利用し難くない」ということは確かである」ものはある fact8: 「もし住み易くないとすれば御出でに成らない」物はある fact9: 「もし仮に人恋しくないとすると留まり続けない」ものはある fact10: もしも「この堤工場は輸出するし吸い上げる」ということは成り立たないならばそれは配慮事項である fact11: 仮にあのデスクトップ型はの制条であるししかも洋画家だとするとど偉くない fact12: もしもこの堤工場が経済計画だということはないならばそれは配慮事項でない fact13: 「もしも「遣り繰りするし十二項目だ」ということは嘘だとしたら伴い易い」ものはある fact14: 「仮に「態とらしいししかも馴れ馴れしい」ということは成り立たないとすれば命じる」物はある fact15: 「もしも少なくて更に維持者だとすると生体膜でない」ものはある fact16: 「仮に偉くないとすれば王手だということはない」ものはある fact17: 「もし仮に達成し得ないとすれば戦慣れしない」物はある fact18: 「もしも経済計画でないならば配慮事項でない」ものはある fact19: 「この堤工場が洋画家だしそれに経済計画だ」ということは真実でないならば配慮事項だということはない
fact19 -> hypothesis;
もし仮に「その全部員は外食するしおまけにそれは経済計画だ」ということは本当でないとしたらそれは醜くない
fact20 -> hypothesis;
$facts$ = fact1: もしも「あの神学は薄くてまた申し込める」ということは嘘であるとすれば配慮事項でない fact2: 「仮に外食しないならば舞い上がらない」ものはある fact3: 「もし「人出だしまた長方形である」ということは誤りであるなら計量しない」ものはある fact4: もしも「この堤工場はトランクパネルであるしさらに書き難い」ということは間違いであるとするとそれは油彩でない fact5: 「なにかは外食するしその上それは経済計画だ」ということは成り立つということはないとすれば醜くない fact6: 仮に「「そのロジスティクス・システムはおもろいし醜い」ということは間違っていない」ということは誤りであるならそれは螺鈿細工だ fact7: 「もし仮に盟約するしその上彷彿するとすると「利用し難くない」ということは確かである」ものはある fact8: 「もし住み易くないとすれば御出でに成らない」物はある fact9: 「もし仮に人恋しくないとすると留まり続けない」ものはある fact10: もしも「この堤工場は輸出するし吸い上げる」ということは成り立たないならばそれは配慮事項である fact11: 仮にあのデスクトップ型はの制条であるししかも洋画家だとするとど偉くない fact12: もしもこの堤工場が経済計画だということはないならばそれは配慮事項でない fact13: 「もしも「遣り繰りするし十二項目だ」ということは嘘だとしたら伴い易い」ものはある fact14: 「仮に「態とらしいししかも馴れ馴れしい」ということは成り立たないとすれば命じる」物はある fact15: 「もしも少なくて更に維持者だとすると生体膜でない」ものはある fact16: 「仮に偉くないとすれば王手だということはない」ものはある fact17: 「もし仮に達成し得ないとすれば戦慣れしない」物はある fact18: 「もしも経済計画でないならば配慮事項でない」ものはある fact19: 「この堤工場が洋画家だしそれに経済計画だ」ということは真実でないならば配慮事項だということはない ; $hypothesis$ = 「もし「洋画家であるしおまけに経済計画である」ということは事実と異なるとしたら配慮事項でない」ものはある ; $proof$ = 
fact19 -> hypothesis; __PROVED__
事実1: もしも「あの神学は薄くてまた申し込める」ということは嘘であるとすれば配慮事項でない
事実2: 「仮に外食しないならば舞い上がらない」ものはある
事実3: 「もし「人出だしまた長方形である」ということは誤りであるなら計量しない」ものはある
事実4: もしも「この堤工場はトランクパネルであるしさらに書き難い」ということは間違いであるとするとそれは油彩でない
事実5: 「なにかは外食するしその上それは経済計画だ」ということは成り立つということはないとすれば醜くない
事実6: 仮に「「そのロジスティクス・システムはおもろいし醜い」ということは間違っていない」ということは誤りであるならそれは螺鈿細工だ
事実7: 「もし仮に盟約するしその上彷彿するとすると「利用し難くない」ということは確かである」ものはある
事実8: 「もし住み易くないとすれば御出でに成らない」物はある
事実9: 「もし仮に人恋しくないとすると留まり続けない」ものはある
事実10: もしも「この堤工場は輸出するし吸い上げる」ということは成り立たないならばそれは配慮事項である
事実11: 仮にあのデスクトップ型はの制条であるししかも洋画家だとするとど偉くない
事実12: もしもこの堤工場が経済計画だということはないならばそれは配慮事項でない
事実13: 「もしも「遣り繰りするし十二項目だ」ということは嘘だとしたら伴い易い」ものはある
事実14: 「仮に「態とらしいししかも馴れ馴れしい」ということは成り立たないとすれば命じる」物はある
事実15: 「もしも少なくて更に維持者だとすると生体膜でない」ものはある
事実16: 「仮に偉くないとすれば王手だということはない」ものはある
事実17: 「もし仮に達成し得ないとすれば戦慣れしない」物はある
事実18: 「もしも経済計画でないならば配慮事項でない」ものはある
事実19: 「この堤工場が洋画家だしそれに経済計画だ」ということは真実でないならば配慮事項だということはない

仮説: 「もし「洋画家であるしおまけに経済計画である」ということは事実と異なるとしたら配慮事項でない」ものはある
1. 事実19から、仮説が導かれる

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