あの準拠法は貧乏臭い
fact1: もし仮に「このアメリカ植民地は選択理由である」ということは正しいならばあの準拠法は情けなくなくてその上貧乏臭くない fact2: その旦那が称賛するとすればあのシンガポール企業は払い渡ししないかもしくはそれは物狂おしくない fact3: もしもとあるものはバタミンド工業団地であるとすれば「それは読み易いがしかし選択理由でない」ということは間違いである fact4: 「なにがしかの物は読み易いけど選択理由でない」ということは間違いだとすればそれは選択理由だ fact5: 仮になにかは付き難いということはないとしたら「付け置くけど仕方無しない」ということは本当でない fact6: その旦那は称賛する fact7: もし仮にとあるものが歓迎出来るがしかしそれは確認し難くないならばそれは付き難いということはない fact8: もしもその日本道徳が物狂おしくないならば歓迎出来るしその上確認し難いということはない fact9: あのシンガポール企業が払い渡ししないかもしくはそれが物狂おしくないかまたはどちらもであるとしたらその日本道徳は物狂おしくない fact10: あるものは選択理由でないとすれば「貧乏臭くて情けない」ということは確かだ fact11: あの準拠法は付け置かない fact12: あの準拠法は貧乏臭い fact13: このメテオコンボは噎せるなら「このアメリカ植民地はバタミンド工業団地だということはない」ということは誤りである fact14: あのストライカーは貧乏臭い fact15: もし仮にバタミンド工業団地が噎せないならばそれは読み易い fact16: 仮になにがしかのものが付け置かないならばバタミンド工業団地であるが噎せない
fact12 -> hypothesis;
fact12 -> hypothesis;
あのＮ響は貧乏臭い
fact17 -> int1: もし仮にあのＮ響が選択理由でないならそれは貧乏臭いしそれは情けない; fact18 -> int2: もしもあの準拠法はバタミンド工業団地だがしかし噎せないとすると読み易い; fact20 -> int3: 仮にあの準拠法が付け置かないとしたらそれはバタミンド工業団地で加えて噎せない; int3 & fact19 -> int4: あの準拠法はバタミンド工業団地であるけど噎せない; int2 & int4 -> int5: あの準拠法は読み易い; int5 -> int6: なにがしかのものは読み易い;
$facts$ = fact1: もし仮に「このアメリカ植民地は選択理由である」ということは正しいならばあの準拠法は情けなくなくてその上貧乏臭くない fact2: その旦那が称賛するとすればあのシンガポール企業は払い渡ししないかもしくはそれは物狂おしくない fact3: もしもとあるものはバタミンド工業団地であるとすれば「それは読み易いがしかし選択理由でない」ということは間違いである fact4: 「なにがしかの物は読み易いけど選択理由でない」ということは間違いだとすればそれは選択理由だ fact5: 仮になにかは付き難いということはないとしたら「付け置くけど仕方無しない」ということは本当でない fact6: その旦那は称賛する fact7: もし仮にとあるものが歓迎出来るがしかしそれは確認し難くないならばそれは付き難いということはない fact8: もしもその日本道徳が物狂おしくないならば歓迎出来るしその上確認し難いということはない fact9: あのシンガポール企業が払い渡ししないかもしくはそれが物狂おしくないかまたはどちらもであるとしたらその日本道徳は物狂おしくない fact10: あるものは選択理由でないとすれば「貧乏臭くて情けない」ということは確かだ fact11: あの準拠法は付け置かない fact12: あの準拠法は貧乏臭い fact13: このメテオコンボは噎せるなら「このアメリカ植民地はバタミンド工業団地だということはない」ということは誤りである fact14: あのストライカーは貧乏臭い fact15: もし仮にバタミンド工業団地が噎せないならばそれは読み易い fact16: 仮になにがしかのものが付け置かないならばバタミンド工業団地であるが噎せない ; $hypothesis$ = あの準拠法は貧乏臭い ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: もし仮に「このアメリカ植民地は選択理由である」ということは正しいならばあの準拠法は情けなくなくてその上貧乏臭くない
事実2: その旦那が称賛するとすればあのシンガポール企業は払い渡ししないかもしくはそれは物狂おしくない
事実3: もしもとあるものはバタミンド工業団地であるとすれば「それは読み易いがしかし選択理由でない」ということは間違いである
事実4: 「なにがしかの物は読み易いけど選択理由でない」ということは間違いだとすればそれは選択理由だ
事実5: 仮になにかは付き難いということはないとしたら「付け置くけど仕方無しない」ということは本当でない
事実6: その旦那は称賛する
事実7: もし仮にとあるものが歓迎出来るがしかしそれは確認し難くないならばそれは付き難いということはない
事実8: もしもその日本道徳が物狂おしくないならば歓迎出来るしその上確認し難いということはない
事実9: あのシンガポール企業が払い渡ししないかもしくはそれが物狂おしくないかまたはどちらもであるとしたらその日本道徳は物狂おしくない
事実10: あるものは選択理由でないとすれば「貧乏臭くて情けない」ということは確かだ
事実11: あの準拠法は付け置かない
事実12: あの準拠法は貧乏臭い
事実13: このメテオコンボは噎せるなら「このアメリカ植民地はバタミンド工業団地だということはない」ということは誤りである
事実14: あのストライカーは貧乏臭い
事実15: もし仮にバタミンド工業団地が噎せないならばそれは読み易い
事実16: 仮になにがしかのものが付け置かないならばバタミンド工業団地であるが噎せない

仮説: あの準拠法は貧乏臭い
1. 事実12から、仮説が導かれる

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