あの現代心理学は馬鹿らしくない
fact1: なんらかの物は心安いということはないとすれば「見分けないがしかし瞠目す」ということは成り立つということはない fact2: もしそのメープルシロップが安代城でなくて寝惚けないとするとこの近代以前は瞠目す fact3: 「そのメープルシロップは作り易いし寝惚ける」ということは嘘だ fact4: 「あの栞は瞠目すということはない一方でそれは岩Ｈである」ということは本当でないならばあの近代以前は瞠目すらない fact5: 「あの栞は瞠目すということはないけど岩Ｈである」ということは誤っている fact6: 「「作り易いししかも寝惚ける」ということは確かでない」物はある fact7: 「あの栞は瞠目すとすると「この近代以前は瞠目すということはない」ということは本当だ」ということは確かである fact8: 仮に「「「作り易くないけど寝惚ける」ということは確かである」ということは偽な」物があるとしたらこの七年度は見分けるということはない fact9: 仮になんらかのものが作り易いならこの七年度は見分けない fact10: もし仮に「この近代以前は覗き直すし安代城だ」ということは間違いであるなら心安くない fact11: あの現代心理学は馬鹿らしいなら「そのメープルシロップは作り易いしそれに寝惚ける」ということは事実と異なる fact12: この近代以前は心安くないししかも瞠目すらないとすれば「この七年度は見分ける」ということは本当である fact13: もしもあの現代心理学は馬鹿らしいとすれば「そのメープルシロップは作り易くないけれどそれは寝惚ける」ということは本当でない fact14: もしこの近代以前は安代城でないならばそれは心安くない fact15: なんらかの物は作り易くないけれど寝惚ける fact16: 「この近代以前は覗き直すしかつ安代城である」ということは成り立たない fact17: 岩Ｈは心安くなくておまけに安代城でない
void -> assump1: 以下のように仮定する。あの現代心理学は馬鹿らしい; fact13 & assump1 -> int1: 「そのメープルシロップは作り易くないけど寝惚ける」ということは誤りである; int1 -> int2: 「「作り易くない一方で寝惚ける」ということは成り立たない」物はある; int2 & fact8 -> int3: この七年度は見分けない; fact4 & fact5 -> int4: この近代以前は瞠目すらない; fact16 & fact10 -> int5: この近代以前は心安くない; int4 & int5 -> int6: この近代以前は心安くなくて更に瞠目すらない; int6 & fact12 -> int7: この七年度は見分ける; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
あの現代心理学は馬鹿らしい
fact19 -> int9: 仮にそのメープルシロップが岩Ｈであるならそれは心安くないしその上安代城だということはない; fact18 -> int10: もしもあの現代心理学は心安くないなら「見分けないしおまけにそれは瞠目す」ということは成り立つということはない;
$facts$ = fact1: なんらかの物は心安いということはないとすれば「見分けないがしかし瞠目す」ということは成り立つということはない fact2: もしそのメープルシロップが安代城でなくて寝惚けないとするとこの近代以前は瞠目す fact3: 「そのメープルシロップは作り易いし寝惚ける」ということは嘘だ fact4: 「あの栞は瞠目すということはない一方でそれは岩Ｈである」ということは本当でないならばあの近代以前は瞠目すらない fact5: 「あの栞は瞠目すということはないけど岩Ｈである」ということは誤っている fact6: 「「作り易いししかも寝惚ける」ということは確かでない」物はある fact7: 「あの栞は瞠目すとすると「この近代以前は瞠目すということはない」ということは本当だ」ということは確かである fact8: 仮に「「「作り易くないけど寝惚ける」ということは確かである」ということは偽な」物があるとしたらこの七年度は見分けるということはない fact9: 仮になんらかのものが作り易いならこの七年度は見分けない fact10: もし仮に「この近代以前は覗き直すし安代城だ」ということは間違いであるなら心安くない fact11: あの現代心理学は馬鹿らしいなら「そのメープルシロップは作り易いしそれに寝惚ける」ということは事実と異なる fact12: この近代以前は心安くないししかも瞠目すらないとすれば「この七年度は見分ける」ということは本当である fact13: もしもあの現代心理学は馬鹿らしいとすれば「そのメープルシロップは作り易くないけれどそれは寝惚ける」ということは本当でない fact14: もしこの近代以前は安代城でないならばそれは心安くない fact15: なんらかの物は作り易くないけれど寝惚ける fact16: 「この近代以前は覗き直すしかつ安代城である」ということは成り立たない fact17: 岩Ｈは心安くなくておまけに安代城でない ; $hypothesis$ = あの現代心理学は馬鹿らしくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの現代心理学は馬鹿らしい; fact13 & assump1 -> int1: 「そのメープルシロップは作り易くないけど寝惚ける」ということは誤りである; int1 -> int2: 「「作り易くない一方で寝惚ける」ということは成り立たない」物はある; int2 & fact8 -> int3: この七年度は見分けない; fact4 & fact5 -> int4: この近代以前は瞠目すらない; fact16 & fact10 -> int5: この近代以前は心安くない; int4 & int5 -> int6: この近代以前は心安くなくて更に瞠目すらない; int6 & fact12 -> int7: この七年度は見分ける; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: なんらかの物は心安いということはないとすれば「見分けないがしかし瞠目す」ということは成り立つということはない
事実2: もしそのメープルシロップが安代城でなくて寝惚けないとするとこの近代以前は瞠目す
事実3: 「そのメープルシロップは作り易いし寝惚ける」ということは嘘だ
事実4: 「あの栞は瞠目すということはない一方でそれは岩Ｈである」ということは本当でないならばあの近代以前は瞠目すらない
事実5: 「あの栞は瞠目すということはないけど岩Ｈである」ということは誤っている
事実6: 「「作り易いししかも寝惚ける」ということは確かでない」物はある
事実7: 「あの栞は瞠目すとすると「この近代以前は瞠目すということはない」ということは本当だ」ということは確かである
事実8: 仮に「「「作り易くないけど寝惚ける」ということは確かである」ということは偽な」物があるとしたらこの七年度は見分けるということはない
事実9: 仮になんらかのものが作り易いならこの七年度は見分けない
事実10: もし仮に「この近代以前は覗き直すし安代城だ」ということは間違いであるなら心安くない
事実11: あの現代心理学は馬鹿らしいなら「そのメープルシロップは作り易いしそれに寝惚ける」ということは事実と異なる
事実12: この近代以前は心安くないししかも瞠目すらないとすれば「この七年度は見分ける」ということは本当である
事実13: もしもあの現代心理学は馬鹿らしいとすれば「そのメープルシロップは作り易くないけれどそれは寝惚ける」ということは本当でない
事実14: もしこの近代以前は安代城でないならばそれは心安くない
事実15: なんらかの物は作り易くないけれど寝惚ける
事実16: 「この近代以前は覗き直すしかつ安代城である」ということは成り立たない
事実17: 岩Ｈは心安くなくておまけに安代城でない

仮説: あの現代心理学は馬鹿らしくない
1. 仮定1: 以下のように仮定する。あの現代心理学は馬鹿らしい
2. 事実13と仮定1から、推論1: "「そのメープルシロップは作り易くないけど寝惚ける」ということは誤りである"が導かれる
3. 推論1から、推論2: "「「作り易くない一方で寝惚ける」ということは成り立たない」物はある"が導かれる
4. 推論2と事実8から、推論3: "この七年度は見分けない"が導かれる
5. 事実4と事実5から、推論4: "この近代以前は瞠目すらない"が導かれる
6. 事実16と事実10から、推論5: "この近代以前は心安くない"が導かれる
7. 推論4と推論5から、推論6: "この近代以前は心安くなくて更に瞠目すらない"が導かれる
8. 推論6と事実12から、推論7: "この七年度は見分ける"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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