その竹矢はしつっこいということはない
fact1: もしもこの発情期がクーラーボックスだとしたらその竹矢は心理的サポートである fact2: もし仮にあの零二年末は叩頭しないならば「それは頭分であるけれど維持・管理でない」ということは本当でない fact3: その粥は頭分である fact4: その学校運営が弛緩しないなら咽び泣かない一方で酔い易い fact5: もしもなにかは頭分だとすればそれは金銭債権だ fact6: 仮に「「「発展するけど金銭債権でない」ということは本当である」ということは間違いである」ものがあるとすればその学校運営は痒いということはない fact7: あるものが悲しならその詩文学は再起するし叩頭する fact8: とあるものが咽び泣くとしたら弛緩する fact9: 「その学校運営は心理的サポートだ」ということは事実だ fact10: その命綱は弛緩しない fact11: 仮に「「頭分だし維持・管理でない」ということは真実でない」ものがあるならばあの粥は弛緩しない fact12: その豪華客船はクーラーボックスでない fact13: 心理的サポートはしつっこい fact14: クーラーボックスは痒い fact15: もしこの発情期は心理的サポートでないならば「その学校運営は咽び泣かないけれど酔い易い」ということは嘘である fact16: もしもこの発情期が心理的サポートであるとしたらその自主独立はクーラーボックスだ fact17: その粥は金銭債権でかつ発展すればその竹矢はしつっこくない fact18: その詩文学が叩頭するとすればあの零二年末は叩頭するということはない fact19: その粥が心理的サポートであるとすればあの発情期は発展する fact20: もし仮にとある物は心理的サポートであるとすれば「それがクーラーボックスだしかつそれは痒くない」ということは成り立たない fact21: もしもその粥は弛緩しないとしたら「その自主独立は発展するがしかし金銭債権でない」ということは確かであるということはない fact22: その学校運営は弛緩しない fact23: もしもなにかは痒くないならこの発情期はクーラーボックスであるか心理的サポートであるかまたは両方ともだ fact24: もしその自主独立が痒いとするとその粥は発展する fact25: 「あの道徳観は悲し」ということは真実である
void -> assump1: 以下のように仮定する。「この発情期は心理的サポートでない」ということは事実である; fact15 & assump1 -> int1: 「その学校運営は咽び泣かない一方で酔い易い」ということは間違っている; fact4 & fact22 -> int2: その学校運営は咽び泣くということはない一方で酔い易い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この発情期は心理的サポートである; int4 & fact16 -> int5: その自主独立はクーラーボックスである; fact14 -> int6: もし仮にその自主独立はクーラーボックスであるとするとそれは痒い; int5 & int6 -> int7: その自主独立は痒い; int7 & fact24 -> int8: その粥は発展する; fact5 -> int9: もしもその粥が頭分だとすると金銭債権だ; int9 & fact3 -> int10: その粥は金銭債権だ; int8 & int10 -> int11: その粥が金銭債権だしさらにそれは発展する; int11 & fact17 -> hypothesis;
その竹矢はしつっこい
fact30 -> int12: もしその竹矢は心理的サポートなら「しつっこい」ということは確かである; fact35 -> int13: 「「悲し」ということは正しい」物はある; int13 & fact27 -> int14: その詩文学は再起するしおまけに叩頭する; int14 -> int15: その詩文学は叩頭する; fact28 & int15 -> int16: あの零二年末は叩頭しない; fact31 & int16 -> int17: 「あの零二年末は頭分だが維持・管理でない」ということは誤っている; int17 -> int18: 「「頭分だけれど維持・管理だということはない」ということは誤っている」物はある; int18 & fact26 -> int19: 「その粥は弛緩するということはない」ということは間違いでない; fact34 & int19 -> int20: 「「その自主独立は発展するけど金銭債権でない」ということは事実だ」ということは成り立たない; int20 -> int21: 「「発展するがしかし金銭債権でない」ということは成り立たない」物はある; int21 & fact29 -> int22: その学校運営は痒くない; int22 -> int23: 「痒いということはない」物はある; int23 & fact33 -> int24: この発情期はクーラーボックスであるかそれは心理的サポートだ;
$facts$ = fact1: もしもこの発情期がクーラーボックスだとしたらその竹矢は心理的サポートである fact2: もし仮にあの零二年末は叩頭しないならば「それは頭分であるけれど維持・管理でない」ということは本当でない fact3: その粥は頭分である fact4: その学校運営が弛緩しないなら咽び泣かない一方で酔い易い fact5: もしもなにかは頭分だとすればそれは金銭債権だ fact6: 仮に「「「発展するけど金銭債権でない」ということは本当である」ということは間違いである」ものがあるとすればその学校運営は痒いということはない fact7: あるものが悲しならその詩文学は再起するし叩頭する fact8: とあるものが咽び泣くとしたら弛緩する fact9: 「その学校運営は心理的サポートだ」ということは事実だ fact10: その命綱は弛緩しない fact11: 仮に「「頭分だし維持・管理でない」ということは真実でない」ものがあるならばあの粥は弛緩しない fact12: その豪華客船はクーラーボックスでない fact13: 心理的サポートはしつっこい fact14: クーラーボックスは痒い fact15: もしこの発情期は心理的サポートでないならば「その学校運営は咽び泣かないけれど酔い易い」ということは嘘である fact16: もしもこの発情期が心理的サポートであるとしたらその自主独立はクーラーボックスだ fact17: その粥は金銭債権でかつ発展すればその竹矢はしつっこくない fact18: その詩文学が叩頭するとすればあの零二年末は叩頭するということはない fact19: その粥が心理的サポートであるとすればあの発情期は発展する fact20: もし仮にとある物は心理的サポートであるとすれば「それがクーラーボックスだしかつそれは痒くない」ということは成り立たない fact21: もしもその粥は弛緩しないとしたら「その自主独立は発展するがしかし金銭債権でない」ということは確かであるということはない fact22: その学校運営は弛緩しない fact23: もしもなにかは痒くないならこの発情期はクーラーボックスであるか心理的サポートであるかまたは両方ともだ fact24: もしその自主独立が痒いとするとその粥は発展する fact25: 「あの道徳観は悲し」ということは真実である ; $hypothesis$ = その竹矢はしつっこいということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この発情期は心理的サポートでない」ということは事実である; fact15 & assump1 -> int1: 「その学校運営は咽び泣かない一方で酔い易い」ということは間違っている; fact4 & fact22 -> int2: その学校運営は咽び泣くということはない一方で酔い易い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この発情期は心理的サポートである; int4 & fact16 -> int5: その自主独立はクーラーボックスである; fact14 -> int6: もし仮にその自主独立はクーラーボックスであるとするとそれは痒い; int5 & int6 -> int7: その自主独立は痒い; int7 & fact24 -> int8: その粥は発展する; fact5 -> int9: もしもその粥が頭分だとすると金銭債権だ; int9 & fact3 -> int10: その粥は金銭債権だ; int8 & int10 -> int11: その粥が金銭債権だしさらにそれは発展する; int11 & fact17 -> hypothesis; __PROVED__
事実1: もしもこの発情期がクーラーボックスだとしたらその竹矢は心理的サポートである
事実2: もし仮にあの零二年末は叩頭しないならば「それは頭分であるけれど維持・管理でない」ということは本当でない
事実3: その粥は頭分である
事実4: その学校運営が弛緩しないなら咽び泣かない一方で酔い易い
事実5: もしもなにかは頭分だとすればそれは金銭債権だ
事実6: 仮に「「「発展するけど金銭債権でない」ということは本当である」ということは間違いである」ものがあるとすればその学校運営は痒いということはない
事実7: あるものが悲しならその詩文学は再起するし叩頭する
事実8: とあるものが咽び泣くとしたら弛緩する
事実9: 「その学校運営は心理的サポートだ」ということは事実だ
事実10: その命綱は弛緩しない
事実11: 仮に「「頭分だし維持・管理でない」ということは真実でない」ものがあるならばあの粥は弛緩しない
事実12: その豪華客船はクーラーボックスでない
事実13: 心理的サポートはしつっこい
事実14: クーラーボックスは痒い
事実15: もしこの発情期は心理的サポートでないならば「その学校運営は咽び泣かないけれど酔い易い」ということは嘘である
事実16: もしもこの発情期が心理的サポートであるとしたらその自主独立はクーラーボックスだ
事実17: その粥は金銭債権でかつ発展すればその竹矢はしつっこくない
事実18: その詩文学が叩頭するとすればあの零二年末は叩頭するということはない
事実19: その粥が心理的サポートであるとすればあの発情期は発展する
事実20: もし仮にとある物は心理的サポートであるとすれば「それがクーラーボックスだしかつそれは痒くない」ということは成り立たない
事実21: もしもその粥は弛緩しないとしたら「その自主独立は発展するがしかし金銭債権でない」ということは確かであるということはない
事実22: その学校運営は弛緩しない
事実23: もしもなにかは痒くないならこの発情期はクーラーボックスであるか心理的サポートであるかまたは両方ともだ
事実24: もしその自主独立が痒いとするとその粥は発展する
事実25: 「あの道徳観は悲し」ということは真実である

仮説: その竹矢はしつっこいということはない
1. 仮定1: 以下のように仮定する。「この発情期は心理的サポートでない」ということは事実である
2. 事実15と仮定1から、推論1: "「その学校運営は咽び泣かない一方で酔い易い」ということは間違っている"が導かれる
3. 事実4と事実22から、推論2: "その学校運営は咽び泣くということはない一方で酔い易い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この発情期は心理的サポートである"が導かれる
6. 推論4と事実16から、推論5: "その自主独立はクーラーボックスである"が導かれる
7. 事実14から、推論6: "もし仮にその自主独立はクーラーボックスであるとするとそれは痒い"が導かれる
8. 推論5と推論6から、推論7: "その自主独立は痒い"が導かれる
9. 推論7と事実24から、推論8: "その粥は発展する"が導かれる
10. 事実5から、推論9: "もしもその粥が頭分だとすると金銭債権だ"が導かれる
11. 推論9と事実3から、推論10: "その粥は金銭債権だ"が導かれる
12. 推論8と推論10から、推論11: "その粥が金銭債権だしさらにそれは発展する"が導かれる
13. 推論11と事実17から、仮説が導かれる

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