あの私達親子は泳ぐ
fact1: もしもあの寄与率が嘆き悲しまないならそのハマムはめぼしくて苛立たしい fact2: もし「返り咲く」ものがあるならあの心理的要因は最大射程である fact3: あの心理的要因は最大射程でない fact4: もし仮にあの海洋生物はすばしこくない一方で文人達だとすれば比例付与する fact5: もしも「なにがしかの物は文人達でないかあるいはそれは比例付与するか両方ともだ」ということは間違っていればそれは最大射程でない fact6: あの海洋生物は文人達だ fact7: あの寄与率は嘆き悲しむということはなくてそれは吐血しない fact8: もし仮にあの海洋生物が返り咲くしすばしこいとしたらあの私達親子は泳がない fact9: もしあの心理的要因は就任しないならば「あの海洋生物は文人達でないかそれは比例付与する」ということは正しくない fact10: もし仮に「返り咲くかまたはすばしこいかまたはどちらもな」物があるならあの心理的要因は最大射程だ fact11: もし仮にあの海洋生物が就任するとするとあの私達親子は泳ぐ fact12: 「「恋しがらないしかつ相対立しない」ということは誤りである」ものはある fact13: もし仮に「「恋しがるということはないしそれに相対立しない」ということは嘘である」ものがあるとすればその形相は止む無い fact14: もしも「あの海洋生物は比例付与する」ということは事実であるとすればそれは就任する fact15: もしもそのハマムがめぼしいとしたらその形相はめぼしい
void -> assump1: 以下のように仮定する。あの海洋生物はすばしこい; assump1 -> int1: あの海洋生物は返り咲くかそれはすばしこいかもしくは両方ともだ; int1 -> int2: あるものは返り咲くかあるいはそれはすばしこいか両方ともだ; int2 & fact10 -> int3: あの心理的要因は最大射程である; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの海洋生物はすばしこくない; int5 & fact6 -> int6: あの海洋生物はすばしこくないがしかし文人達である; int6 & fact4 -> int7: あの海洋生物は比例付与する; int7 & fact14 -> int8: あの海洋生物は就任する; int8 & fact11 -> hypothesis;
あの私達親子は泳がない
fact16 -> int9: もしも「あの海洋生物は文人達でないか比例付与するか両方だ」ということは正しくないとしたらそれは最大射程でない; fact22 -> int10: あの寄与率は嘆き悲しまない; fact18 & int10 -> int11: そのハマムはめぼしいし苛立たしい; int11 -> int12: そのハマムはめぼしい; fact17 & int12 -> int13: その形相はめぼしい; fact20 & fact19 -> int14: その形相は止む無い; int13 & int14 -> int15: その形相はめぼしいしその上止む無い; int15 -> int16: なんらかの物はめぼしくておまけに止む無い;
$facts$ = fact1: もしもあの寄与率が嘆き悲しまないならそのハマムはめぼしくて苛立たしい fact2: もし「返り咲く」ものがあるならあの心理的要因は最大射程である fact3: あの心理的要因は最大射程でない fact4: もし仮にあの海洋生物はすばしこくない一方で文人達だとすれば比例付与する fact5: もしも「なにがしかの物は文人達でないかあるいはそれは比例付与するか両方ともだ」ということは間違っていればそれは最大射程でない fact6: あの海洋生物は文人達だ fact7: あの寄与率は嘆き悲しむということはなくてそれは吐血しない fact8: もし仮にあの海洋生物が返り咲くしすばしこいとしたらあの私達親子は泳がない fact9: もしあの心理的要因は就任しないならば「あの海洋生物は文人達でないかそれは比例付与する」ということは正しくない fact10: もし仮に「返り咲くかまたはすばしこいかまたはどちらもな」物があるならあの心理的要因は最大射程だ fact11: もし仮にあの海洋生物が就任するとするとあの私達親子は泳ぐ fact12: 「「恋しがらないしかつ相対立しない」ということは誤りである」ものはある fact13: もし仮に「「恋しがるということはないしそれに相対立しない」ということは嘘である」ものがあるとすればその形相は止む無い fact14: もしも「あの海洋生物は比例付与する」ということは事実であるとすればそれは就任する fact15: もしもそのハマムがめぼしいとしたらその形相はめぼしい ; $hypothesis$ = あの私達親子は泳ぐ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの海洋生物はすばしこい; assump1 -> int1: あの海洋生物は返り咲くかそれはすばしこいかもしくは両方ともだ; int1 -> int2: あるものは返り咲くかあるいはそれはすばしこいか両方ともだ; int2 & fact10 -> int3: あの心理的要因は最大射程である; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの海洋生物はすばしこくない; int5 & fact6 -> int6: あの海洋生物はすばしこくないがしかし文人達である; int6 & fact4 -> int7: あの海洋生物は比例付与する; int7 & fact14 -> int8: あの海洋生物は就任する; int8 & fact11 -> hypothesis; __PROVED__
事実1: もしもあの寄与率が嘆き悲しまないならそのハマムはめぼしくて苛立たしい
事実2: もし「返り咲く」ものがあるならあの心理的要因は最大射程である
事実3: あの心理的要因は最大射程でない
事実4: もし仮にあの海洋生物はすばしこくない一方で文人達だとすれば比例付与する
事実5: もしも「なにがしかの物は文人達でないかあるいはそれは比例付与するか両方ともだ」ということは間違っていればそれは最大射程でない
事実6: あの海洋生物は文人達だ
事実7: あの寄与率は嘆き悲しむということはなくてそれは吐血しない
事実8: もし仮にあの海洋生物が返り咲くしすばしこいとしたらあの私達親子は泳がない
事実9: もしあの心理的要因は就任しないならば「あの海洋生物は文人達でないかそれは比例付与する」ということは正しくない
事実10: もし仮に「返り咲くかまたはすばしこいかまたはどちらもな」物があるならあの心理的要因は最大射程だ
事実11: もし仮にあの海洋生物が就任するとするとあの私達親子は泳ぐ
事実12: 「「恋しがらないしかつ相対立しない」ということは誤りである」ものはある
事実13: もし仮に「「恋しがるということはないしそれに相対立しない」ということは嘘である」ものがあるとすればその形相は止む無い
事実14: もしも「あの海洋生物は比例付与する」ということは事実であるとすればそれは就任する
事実15: もしもそのハマムがめぼしいとしたらその形相はめぼしい

仮説: あの私達親子は泳ぐ
1. 仮定1: 以下のように仮定する。あの海洋生物はすばしこい
2. 仮定1から、推論1: "あの海洋生物は返り咲くかそれはすばしこいかもしくは両方ともだ"が導かれる
3. 推論1から、推論2: "あるものは返り咲くかあるいはそれはすばしこいか両方ともだ"が導かれる
4. 推論2と事実10から、推論3: "あの心理的要因は最大射程である"が導かれる
5. 推論3と事実3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの海洋生物はすばしこくない"が導かれる
7. 推論5と事実6から、推論6: "あの海洋生物はすばしこくないがしかし文人達である"が導かれる
8. 推論6と事実4から、推論7: "あの海洋生物は比例付与する"が導かれる
9. 推論7と事実14から、推論8: "あの海洋生物は就任する"が導かれる
10. 推論8と事実11から、仮説が導かれる

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