あの朝顔ガイはちょろい
fact1: 仮にとあるものは眠り込まない一方で砕け散るとするとそれは弱い fact2: 仮にその振り替え口座簿は中国会社法でないならそれは程であるということはない fact3: 何らかの物は情け深くないなら「それは強制引き当てであってしかも中国会社法だ」ということは間違っている fact4: その振り替え口座簿はカーブするということはないかあるいは世間長者気質であるかまたはどちらもである fact5: もしとあるものは中国会社法でないならば「強制引き当てであるし加えて解し難い」ということは成り立たない fact6: もしその生活費以外は移植出来ないとすると「あの朝顔ガイは織姫でなくてしかもちょろくない」ということは間違いだ fact7: もし「その振り替え口座簿は強制引き当てであるし中国会社法である」ということは正しくないとしたら程でない fact8: もし仮に「なにかは解し難いけれどちょろくない」ということは本当であるということはないとすればそれはちょろい fact9: その堕落性は握り易いということはない fact10: 仮にその振り替え口座簿が織姫でないか情け深いかもしくはどちらもならあの朝顔ガイはちょろくない fact11: あの朝顔ガイは解し難い fact12: もしその振り替え口座簿は解し難いとすると「程だ」ということは真実である fact13: もしとあるものは織姫であるということはないし程でないとすればそれは情け深くない fact14: なにかは握り易くないとすると眠り込まなくて砕け散る fact15: もし仮にその堕落性が弱いとすればその生活費以外は弱くない fact16: その振り替え口座簿は解し難い fact17: 仮にその振り替え口座簿が織姫でないとすればあの朝顔ガイはちょろくない fact18: その生活費以外は移植出来る fact19: その振り替え口座簿は織姫であるか情け深いかあるいは両方である fact20: とある物は移植出来るとすれば「それは解し難いがちょろくない」ということは間違いである fact21: もしもその生活費以外が弱くないとすると解し難くてさらに移植出来る fact22: あの朝顔ガイは情け深い fact23: 仮に「ちょろい」ものがあるならあの朝顔ガイは織姫であるしそれに程である
fact3 -> int1: その振り替え口座簿は情け深くないなら「それは強制引き当てであるしそれは中国会社法である」ということは嘘である; void -> assump1: 以下のように仮定する。その振り替え口座簿は情け深くない; int1 & assump1 -> int2: 「「その振り替え口座簿は強制引き当てだし更に中国会社法である」ということは真実だ」ということは成り立たない; int2 & fact7 -> int3: その振り替え口座簿は程でない; fact16 & fact12 -> int4: その振り替え口座簿は程である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その振り替え口座簿は情け深い; int6 -> int7: その振り替え口座簿は織姫でないかまたは情け深いかあるいは両方である; int7 & fact10 -> hypothesis;
この熱凝固は情け深くない
fact26 -> int8: 「その生活費以外は解し難いけれどちょろくない」ということは嘘ならばそれはちょろい; fact27 -> int9: その生活費以外は移植出来るとしたら「解し難い一方でちょろくない」ということは偽だ; int9 & fact24 -> int10: 「その生活費以外は解し難い一方でちょろくない」ということは間違いだ; int8 & int10 -> int11: 「その生活費以外はちょろい」ということは偽でない; int11 -> int12: 「ちょろい」物はある; int12 & fact25 -> int13: あの朝顔ガイが織姫だし程だ; 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: とある物は移植出来るとすれば「それは解し難いがちょろくない」ということは間違いである fact21: もしもその生活費以外が弱くないとすると解し難くてさらに移植出来る fact22: あの朝顔ガイは情け深い fact23: 仮に「ちょろい」ものがあるならあの朝顔ガイは織姫であるしそれに程である ; $hypothesis$ = あの朝顔ガイはちょろい ; $proof$ = 
fact3 -> int1: その振り替え口座簿は情け深くないなら「それは強制引き当てであるしそれは中国会社法である」ということは嘘である; void -> assump1: 以下のように仮定する。その振り替え口座簿は情け深くない; int1 & assump1 -> int2: 「「その振り替え口座簿は強制引き当てだし更に中国会社法である」ということは真実だ」ということは成り立たない; int2 & fact7 -> int3: その振り替え口座簿は程でない; fact16 & fact12 -> int4: その振り替え口座簿は程である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その振り替え口座簿は情け深い; int6 -> int7: その振り替え口座簿は織姫でないかまたは情け深いかあるいは両方である; int7 & fact10 -> hypothesis; __DISPROVED__
事実1: 仮にとあるものは眠り込まない一方で砕け散るとするとそれは弱い
事実2: 仮にその振り替え口座簿は中国会社法でないならそれは程であるということはない
事実3: 何らかの物は情け深くないなら「それは強制引き当てであってしかも中国会社法だ」ということは間違っている
事実4: その振り替え口座簿はカーブするということはないかあるいは世間長者気質であるかまたはどちらもである
事実5: もしとあるものは中国会社法でないならば「強制引き当てであるし加えて解し難い」ということは成り立たない
事実6: もしその生活費以外は移植出来ないとすると「あの朝顔ガイは織姫でなくてしかもちょろくない」ということは間違いだ
事実7: もし「その振り替え口座簿は強制引き当てであるし中国会社法である」ということは正しくないとしたら程でない
事実8: もし仮に「なにかは解し難いけれどちょろくない」ということは本当であるということはないとすればそれはちょろい
事実9: その堕落性は握り易いということはない
事実10: 仮にその振り替え口座簿が織姫でないか情け深いかもしくはどちらもならあの朝顔ガイはちょろくない
事実11: あの朝顔ガイは解し難い
事実12: もしその振り替え口座簿は解し難いとすると「程だ」ということは真実である
事実13: もしとあるものは織姫であるということはないし程でないとすればそれは情け深くない
事実14: なにかは握り易くないとすると眠り込まなくて砕け散る
事実15: もし仮にその堕落性が弱いとすればその生活費以外は弱くない
事実16: その振り替え口座簿は解し難い
事実17: 仮にその振り替え口座簿が織姫でないとすればあの朝顔ガイはちょろくない
事実18: その生活費以外は移植出来る
事実19: その振り替え口座簿は織姫であるか情け深いかあるいは両方である
事実20: とある物は移植出来るとすれば「それは解し難いがちょろくない」ということは間違いである
事実21: もしもその生活費以外が弱くないとすると解し難くてさらに移植出来る
事実22: あの朝顔ガイは情け深い
事実23: 仮に「ちょろい」ものがあるならあの朝顔ガイは織姫であるしそれに程である

仮説: あの朝顔ガイはちょろい
1. 事実3から、推論1: "その振り替え口座簿は情け深くないなら「それは強制引き当てであるしそれは中国会社法である」ということは嘘である"が導かれる
2. 仮定1: 以下のように仮定する。その振り替え口座簿は情け深くない
3. 推論1と仮定1から、推論2: "「「その振り替え口座簿は強制引き当てだし更に中国会社法である」ということは真実だ」ということは成り立たない"が導かれる
4. 推論2と事実7から、推論3: "その振り替え口座簿は程でない"が導かれる
5. 事実16と事実12から、推論4: "その振り替え口座簿は程である"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その振り替え口座簿は情け深い"が導かれる
8. 推論6から、推論7: "その振り替え口座簿は織姫でないかまたは情け深いかあるいは両方である"が導かれる
9. 推論7と事実10から、仮説が否定される

よって、仮説が否定されました。