このスカイキャプテンは商売柄であるしおまけにだらし無い
fact1: その大型車は断り難い fact2: 「「重賞勝ちでまた性転換する」ということは偽な」ものがあるとすればあの屯倉は利ける fact3: もし仮にあの屯倉が素人っぽいならその出組は弁解がましいかあるいは実感しないかもしくは両方だ fact4: もし仮に「その大型車は断り難くないかもしくはそれは表面化しない」ということは成り立たないならばこのスカイキャプテンは選択し直さない fact5: 仮になんらかの物は八年以後でないとしたら「それは商売柄でなくてそれは表面化しない」ということは成り立たない fact6: もし仮に何かは選択し直さないとすれば「商売柄で加えてだらし無い」ということは成り立たない fact7: もし仮に「その狐さんは剥離し難いということはない一方でうざい」ということは事実と異なるとしたら設置許可でない fact8: その大型車は選択し直す fact9: 「その狐さんは剥離し難くないけれどそれはうざい」ということは間違っている fact10: もしその出組が弁解がましいか実感しないならその出願手続きは八年以後でない fact11: もしもその大型車が選択し直すし断り難いならその出願手続きはだらし無くない fact12: もし仮にその出願手続きがだらし無くないとすればあのスカイキャプテンは商売柄であるし更にだらし無い fact13: その禁止は選択し直す fact14: このスカイキャプテンは商売柄だ fact15: もし仮にとある物が利けるならそれは素人っぽい fact16: このスカイキャプテンは選択し直すしさらにそれは商売柄だ fact17: もしその狐さんは設置許可でないとしたら吊耳鉄鍋であるしおまけに多発する fact18: すべては八年以後だということはない fact19: もしある物はだらし無いとすれば「選択し直さなくてしかも断り難くない」ということは成り立たない fact20: 仮に「「吊耳鉄鍋だ」ということは成り立つ」ものはあるとすれば「この旅情は重賞勝ちであるしそれにそれは性転換する」ということは成り立たない
fact8 & fact1 -> int1: その大型車は選択し直すしまた断り難い; int1 & fact11 -> int2: その出願手続きはだらし無くない; int2 & fact12 -> hypothesis;
fact8 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact11 -> int2: ¬{C}{b}; int2 & fact12 -> hypothesis;
「このスカイキャプテンは商売柄であるしだらし無い」ということは成り立たない
fact24 -> int3: このスカイキャプテンは選択し直さないとしたら「「それは商売柄であるしその上それはだらし無い」ということは誤っていない」ということは成り立たない; fact27 -> int4: もし仮にあの屯倉が利けるとしたら素人っぽい; fact22 & fact29 -> int5: その狐さんは設置許可でない; fact30 & int5 -> int6: その狐さんは吊耳鉄鍋でそれに多発する; int6 -> int7: その狐さんは吊耳鉄鍋だ; int7 -> int8: 「吊耳鉄鍋な」物はある; int8 & fact28 -> int9: 「この旅情は重賞勝ちで性転換する」ということは偽だ; int9 -> int10: 「「重賞勝ちであるし性転換する」ということは誤りである」ものはある; int10 & fact21 -> int11: あの屯倉は利ける; int4 & int11 -> int12: あの屯倉は素人っぽい; fact26 & int12 -> int13: その出組は弁解がましいかまたは実感しないかまたはどちらもである; fact25 & int13 -> int14: その出願手続きは八年以後でない; int14 -> int15: とあるものは八年以後でない;
$facts$ = fact1: その大型車は断り難い fact2: 「「重賞勝ちでまた性転換する」ということは偽な」ものがあるとすればあの屯倉は利ける fact3: もし仮にあの屯倉が素人っぽいならその出組は弁解がましいかあるいは実感しないかもしくは両方だ fact4: もし仮に「その大型車は断り難くないかもしくはそれは表面化しない」ということは成り立たないならばこのスカイキャプテンは選択し直さない fact5: 仮になんらかの物は八年以後でないとしたら「それは商売柄でなくてそれは表面化しない」ということは成り立たない fact6: もし仮に何かは選択し直さないとすれば「商売柄で加えてだらし無い」ということは成り立たない fact7: もし仮に「その狐さんは剥離し難いということはない一方でうざい」ということは事実と異なるとしたら設置許可でない fact8: その大型車は選択し直す fact9: 「その狐さんは剥離し難くないけれどそれはうざい」ということは間違っている fact10: もしその出組が弁解がましいか実感しないならその出願手続きは八年以後でない fact11: もしもその大型車が選択し直すし断り難いならその出願手続きはだらし無くない fact12: もし仮にその出願手続きがだらし無くないとすればあのスカイキャプテンは商売柄であるし更にだらし無い fact13: その禁止は選択し直す fact14: このスカイキャプテンは商売柄だ fact15: もし仮にとある物が利けるならそれは素人っぽい fact16: このスカイキャプテンは選択し直すしさらにそれは商売柄だ fact17: もしその狐さんは設置許可でないとしたら吊耳鉄鍋であるしおまけに多発する fact18: すべては八年以後だということはない fact19: もしある物はだらし無いとすれば「選択し直さなくてしかも断り難くない」ということは成り立たない fact20: 仮に「「吊耳鉄鍋だ」ということは成り立つ」ものはあるとすれば「この旅情は重賞勝ちであるしそれにそれは性転換する」ということは成り立たない ; $hypothesis$ = このスカイキャプテンは商売柄であるしおまけにだらし無い ; $proof$ = 
fact8 & fact1 -> int1: その大型車は選択し直すしまた断り難い; int1 & fact11 -> int2: その出願手続きはだらし無くない; int2 & fact12 -> hypothesis; __PROVED__
事実1: その大型車は断り難い
事実2: 「「重賞勝ちでまた性転換する」ということは偽な」ものがあるとすればあの屯倉は利ける
事実3: もし仮にあの屯倉が素人っぽいならその出組は弁解がましいかあるいは実感しないかもしくは両方だ
事実4: もし仮に「その大型車は断り難くないかもしくはそれは表面化しない」ということは成り立たないならばこのスカイキャプテンは選択し直さない
事実5: 仮になんらかの物は八年以後でないとしたら「それは商売柄でなくてそれは表面化しない」ということは成り立たない
事実6: もし仮に何かは選択し直さないとすれば「商売柄で加えてだらし無い」ということは成り立たない
事実7: もし仮に「その狐さんは剥離し難いということはない一方でうざい」ということは事実と異なるとしたら設置許可でない
事実8: その大型車は選択し直す
事実9: 「その狐さんは剥離し難くないけれどそれはうざい」ということは間違っている
事実10: もしその出組が弁解がましいか実感しないならその出願手続きは八年以後でない
事実11: もしもその大型車が選択し直すし断り難いならその出願手続きはだらし無くない
事実12: もし仮にその出願手続きがだらし無くないとすればあのスカイキャプテンは商売柄であるし更にだらし無い
事実13: その禁止は選択し直す
事実14: このスカイキャプテンは商売柄だ
事実15: もし仮にとある物が利けるならそれは素人っぽい
事実16: このスカイキャプテンは選択し直すしさらにそれは商売柄だ
事実17: もしその狐さんは設置許可でないとしたら吊耳鉄鍋であるしおまけに多発する
事実18: すべては八年以後だということはない
事実19: もしある物はだらし無いとすれば「選択し直さなくてしかも断り難くない」ということは成り立たない
事実20: 仮に「「吊耳鉄鍋だ」ということは成り立つ」ものはあるとすれば「この旅情は重賞勝ちであるしそれにそれは性転換する」ということは成り立たない

仮説: このスカイキャプテンは商売柄であるしおまけにだらし無い
1. 事実8と事実1から、推論1: "その大型車は選択し直すしまた断り難い"が導かれる
2. 推論1と事実11から、推論2: "その出願手続きはだらし無くない"が導かれる
3. 推論2と事実12から、仮説が導かれる

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