あの譲渡損益が文匯報であるならばあの全日空労組はあざとい
fact1: その全日空労組は救命出来る fact2: あの第二王子は刈る fact3: もしもあの第二王子が刈るとするとあの譲渡損益は叙する fact4: 仮にその全日空労組が文匯報だとするとあの譲渡損益はあざとい fact5: 「なんらかの物はしても良い」ということは本当だ fact6: なんらかのものが叙するし文匯報であるとするとその全日空労組はあざとい fact7: その全日空労組は叙する fact8: その生理活性は文匯報である fact9: この千九百四十五年以降は刈る fact10: 「もしあの譲渡損益があざといならその全日空労組は叙する」ということは誤りであるということはない fact11: もしもあの第二王子が文匯報ならあの譲渡損益は刈る fact12: 「突き回す」物はある fact13: この送電は刈る fact14: あの第二王子はあざとい fact15: 「見える化する」物はある fact16: 「弱化する」物はある fact17: なんらかの物はあざとくて更に刈る fact18: もし仮に「とあるものは文匯報でまた刈る」ということは真実だとすればあの第二王子はあざとい fact19: あるものは物価水準だ fact20: もしも「「刈るし文匯報である」ということは本当な」ものがあるとしたらあの第二王子は叙する fact21: なんらかの物は刈るしあざとい
fact3 & fact2 -> int1: あの譲渡損益は叙する; void -> assump1: 以下のように仮定する。あの譲渡損益は文匯報だ; int1 & assump1 -> int2: あの譲渡損益は叙するしおまけにそれは文匯報だ; int2 -> int3: なにがしかのものは叙するしまた文匯報だ; int3 & fact6 -> int4: その全日空労組はあざとい; [assump1] & int4 -> hypothesis;
$facts$ = fact1: その全日空労組は救命出来る fact2: あの第二王子は刈る fact3: もしもあの第二王子が刈るとするとあの譲渡損益は叙する fact4: 仮にその全日空労組が文匯報だとするとあの譲渡損益はあざとい fact5: 「なんらかの物はしても良い」ということは本当だ fact6: なんらかのものが叙するし文匯報であるとするとその全日空労組はあざとい fact7: その全日空労組は叙する fact8: その生理活性は文匯報である fact9: この千九百四十五年以降は刈る fact10: 「もしあの譲渡損益があざといならその全日空労組は叙する」ということは誤りであるということはない fact11: もしもあの第二王子が文匯報ならあの譲渡損益は刈る fact12: 「突き回す」物はある fact13: この送電は刈る fact14: あの第二王子はあざとい fact15: 「見える化する」物はある fact16: 「弱化する」物はある fact17: なんらかの物はあざとくて更に刈る fact18: もし仮に「とあるものは文匯報でまた刈る」ということは真実だとすればあの第二王子はあざとい fact19: あるものは物価水準だ fact20: もしも「「刈るし文匯報である」ということは本当な」ものがあるとしたらあの第二王子は叙する fact21: なんらかの物は刈るしあざとい ; $hypothesis$ = あの譲渡損益が文匯報であるならばあの全日空労組はあざとい ; $proof$ = 
fact3 & fact2 -> int1: あの譲渡損益は叙する; void -> assump1: 以下のように仮定する。あの譲渡損益は文匯報だ; int1 & assump1 -> int2: あの譲渡損益は叙するしおまけにそれは文匯報だ; int2 -> int3: なにがしかのものは叙するしまた文匯報だ; int3 & fact6 -> int4: その全日空労組はあざとい; [assump1] & int4 -> hypothesis; __PROVED__
事実1: その全日空労組は救命出来る
事実2: あの第二王子は刈る
事実3: もしもあの第二王子が刈るとするとあの譲渡損益は叙する
事実4: 仮にその全日空労組が文匯報だとするとあの譲渡損益はあざとい
事実5: 「なんらかの物はしても良い」ということは本当だ
事実6: なんらかのものが叙するし文匯報であるとするとその全日空労組はあざとい
事実7: その全日空労組は叙する
事実8: その生理活性は文匯報である
事実9: この千九百四十五年以降は刈る
事実10: 「もしあの譲渡損益があざといならその全日空労組は叙する」ということは誤りであるということはない
事実11: もしもあの第二王子が文匯報ならあの譲渡損益は刈る
事実12: 「突き回す」物はある
事実13: この送電は刈る
事実14: あの第二王子はあざとい
事実15: 「見える化する」物はある
事実16: 「弱化する」物はある
事実17: なんらかの物はあざとくて更に刈る
事実18: もし仮に「とあるものは文匯報でまた刈る」ということは真実だとすればあの第二王子はあざとい
事実19: あるものは物価水準だ
事実20: もしも「「刈るし文匯報である」ということは本当な」ものがあるとしたらあの第二王子は叙する
事実21: なんらかの物は刈るしあざとい

仮説: あの譲渡損益が文匯報であるならばあの全日空労組はあざとい
1. 事実3と事実2から、推論1: "あの譲渡損益は叙する"が導かれる
2. 仮定1: 以下のように仮定する。あの譲渡損益は文匯報だ
3. 推論1と仮定1から、推論2: "あの譲渡損益は叙するしおまけにそれは文匯報だ"が導かれる
4. 推論2から、推論3: "なにがしかのものは叙するしまた文匯報だ"が導かれる
5. 推論3と事実6から、推論4: "その全日空労組はあざとい"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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