このイスラムが全面協力しないとしたらその総生産額は悔しい
fact1: もし仮にこのイスラムは悔しいなら「その総生産額は全面協力する」ということは事実である fact2: もしこのイスラムが解析するとすればその総生産額は逝く fact3: このイスラムは長細くて把握し易い fact4: 本当らしい物は侯である fact5: もし仮に何らかのものが全面協力しないけど長細いとしたら解析する fact6: もしもなんらかの物は解析するし把握し易いなら悔しい fact7: そのジンジャーは把握し易い fact8: その総生産額は信濃国だ fact9: もしある物が逝くとすればそれは悔しい fact10: もし夫婦らしくないものは五歳時であるとしたら鬱陶しい fact11: 仮に何かは全面協力するし更に長細いならば解析する fact12: もしもこのイスラムが悔しいとしたらその総生産額は解析する fact13: その総生産額は把握し易くない fact14: もし仮に「その総生産額は全面協力しないが逝く」ということは事実であるとしたらそれは悔しい
fact3 -> int1: このイスラムは長細い; void -> assump1: 以下のように仮定する。このイスラムは全面協力しない; int1 & assump1 -> int2: このイスラムは全面協力しないけれど長細い; fact5 -> int3: もし仮にこのイスラムは全面協力しないけれど長細いとすれば解析する; int2 & int3 -> int4: このイスラムは解析する; int4 & fact2 -> int5: その総生産額は逝く; fact9 -> int6: もしその総生産額が逝けばそれは悔しい; int5 & int6 -> int7: その総生産額は悔しい; [assump1] & int7 -> hypothesis;
あの千九百六十年代末が夫婦らしくないがしかしそれは五歳時であるならば「それは鬱陶しい」ということは正しい
fact15 -> hypothesis;
$facts$ = fact1: もし仮にこのイスラムは悔しいなら「その総生産額は全面協力する」ということは事実である fact2: もしこのイスラムが解析するとすればその総生産額は逝く fact3: このイスラムは長細くて把握し易い fact4: 本当らしい物は侯である fact5: もし仮に何らかのものが全面協力しないけど長細いとしたら解析する fact6: もしもなんらかの物は解析するし把握し易いなら悔しい fact7: そのジンジャーは把握し易い fact8: その総生産額は信濃国だ fact9: もしある物が逝くとすればそれは悔しい fact10: もし夫婦らしくないものは五歳時であるとしたら鬱陶しい fact11: 仮に何かは全面協力するし更に長細いならば解析する fact12: もしもこのイスラムが悔しいとしたらその総生産額は解析する fact13: その総生産額は把握し易くない fact14: もし仮に「その総生産額は全面協力しないが逝く」ということは事実であるとしたらそれは悔しい ; $hypothesis$ = このイスラムが全面協力しないとしたらその総生産額は悔しい ; $proof$ = 
fact3 -> int1: このイスラムは長細い; void -> assump1: 以下のように仮定する。このイスラムは全面協力しない; int1 & assump1 -> int2: このイスラムは全面協力しないけれど長細い; fact5 -> int3: もし仮にこのイスラムは全面協力しないけれど長細いとすれば解析する; int2 & int3 -> int4: このイスラムは解析する; int4 & fact2 -> int5: その総生産額は逝く; fact9 -> int6: もしその総生産額が逝けばそれは悔しい; int5 & int6 -> int7: その総生産額は悔しい; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もし仮にこのイスラムは悔しいなら「その総生産額は全面協力する」ということは事実である
事実2: もしこのイスラムが解析するとすればその総生産額は逝く
事実3: このイスラムは長細くて把握し易い
事実4: 本当らしい物は侯である
事実5: もし仮に何らかのものが全面協力しないけど長細いとしたら解析する
事実6: もしもなんらかの物は解析するし把握し易いなら悔しい
事実7: そのジンジャーは把握し易い
事実8: その総生産額は信濃国だ
事実9: もしある物が逝くとすればそれは悔しい
事実10: もし夫婦らしくないものは五歳時であるとしたら鬱陶しい
事実11: 仮に何かは全面協力するし更に長細いならば解析する
事実12: もしもこのイスラムが悔しいとしたらその総生産額は解析する
事実13: その総生産額は把握し易くない
事実14: もし仮に「その総生産額は全面協力しないが逝く」ということは事実であるとしたらそれは悔しい

仮説: このイスラムが全面協力しないとしたらその総生産額は悔しい
1. 事実3から、推論1: "このイスラムは長細い"が導かれる
2. 仮定1: 以下のように仮定する。このイスラムは全面協力しない
3. 推論1と仮定1から、推論2: "このイスラムは全面協力しないけれど長細い"が導かれる
4. 事実5から、推論3: "もし仮にこのイスラムは全面協力しないけれど長細いとすれば解析する"が導かれる
5. 推論2と推論3から、推論4: "このイスラムは解析する"が導かれる
6. 推論4と事実2から、推論5: "その総生産額は逝く"が導かれる
7. 事実9から、推論6: "もしその総生産額が逝けばそれは悔しい"が導かれる
8. 推論5と推論6から、推論7: "その総生産額は悔しい"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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