その妙心寺は収め忘れる
fact1: その妙心寺は物憂くないけど仄暗いならば「それは罷り通る」ということは誤りでない fact2: もし「その妙心寺は押さえないし物憂くない」ということは偽であるとするとそれは御持ち帰り下さらない fact3: もし何らかの物は元正天皇でないならば押さえるということはない fact4: もしその妙心寺はど突かないがしかし面倒臭いなら近付き難い fact5: 「その妙心寺は押さえないしそれに物憂くない」ということは誤りである fact6: その妙心寺は押さえないけれど尤もらしい fact7: このフォルティッシモはど突かない fact8: もしもとある物は近付き難いならば「御持ち帰り下さらなくて元正天皇だ」ということは事実と異なる fact9: その妙心寺はど突かないけれどそれは面倒臭い fact10: 「その妙心寺は面倒臭いということはないが馴染み難い」ということは間違いだ fact11: 仮になにかは元正天皇でないなら収め忘れない fact12: 「「その染色体分析は香り付けするということはないけど分離し易い」ということは本当であるということはない」ということは確かだ fact13: その妙心寺は押さえないがしかし御親切である
fact2 & fact5 -> int1: その妙心寺は御持ち帰り下さらない; void -> assump1: 以下のように仮定する。その妙心寺は元正天皇である; int1 & assump1 -> int2: その妙心寺は御持ち帰り下さらない一方で元正天皇である; fact8 -> int3: もしもその妙心寺は近付き難いなら「それは御持ち帰り下さるということはない一方で元正天皇である」ということは誤りである; fact9 & fact4 -> int4: その妙心寺は近付き難い; int3 & int4 -> int5: 「その妙心寺は御持ち帰り下さらないがしかし元正天皇である」ということは事実と異なる; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その妙心寺は元正天皇でない; fact11 -> int8: 仮にその妙心寺が元正天皇だということはないとしたら収め忘れるということはない; int7 & int8 -> hypothesis;
$facts$ = fact1: その妙心寺は物憂くないけど仄暗いならば「それは罷り通る」ということは誤りでない fact2: もし「その妙心寺は押さえないし物憂くない」ということは偽であるとするとそれは御持ち帰り下さらない fact3: もし何らかの物は元正天皇でないならば押さえるということはない fact4: もしその妙心寺はど突かないがしかし面倒臭いなら近付き難い fact5: 「その妙心寺は押さえないしそれに物憂くない」ということは誤りである fact6: その妙心寺は押さえないけれど尤もらしい fact7: このフォルティッシモはど突かない fact8: もしもとある物は近付き難いならば「御持ち帰り下さらなくて元正天皇だ」ということは事実と異なる fact9: その妙心寺はど突かないけれどそれは面倒臭い fact10: 「その妙心寺は面倒臭いということはないが馴染み難い」ということは間違いだ fact11: 仮になにかは元正天皇でないなら収め忘れない fact12: 「「その染色体分析は香り付けするということはないけど分離し易い」ということは本当であるということはない」ということは確かだ fact13: その妙心寺は押さえないがしかし御親切である ; $hypothesis$ = その妙心寺は収め忘れる ; $proof$ = 
fact2 & fact5 -> int1: その妙心寺は御持ち帰り下さらない; void -> assump1: 以下のように仮定する。その妙心寺は元正天皇である; int1 & assump1 -> int2: その妙心寺は御持ち帰り下さらない一方で元正天皇である; fact8 -> int3: もしもその妙心寺は近付き難いなら「それは御持ち帰り下さるということはない一方で元正天皇である」ということは誤りである; fact9 & fact4 -> int4: その妙心寺は近付き難い; int3 & int4 -> int5: 「その妙心寺は御持ち帰り下さらないがしかし元正天皇である」ということは事実と異なる; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その妙心寺は元正天皇でない; fact11 -> int8: 仮にその妙心寺が元正天皇だということはないとしたら収め忘れるということはない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: その妙心寺は物憂くないけど仄暗いならば「それは罷り通る」ということは誤りでない
事実2: もし「その妙心寺は押さえないし物憂くない」ということは偽であるとするとそれは御持ち帰り下さらない
事実3: もし何らかの物は元正天皇でないならば押さえるということはない
事実4: もしその妙心寺はど突かないがしかし面倒臭いなら近付き難い
事実5: 「その妙心寺は押さえないしそれに物憂くない」ということは誤りである
事実6: その妙心寺は押さえないけれど尤もらしい
事実7: このフォルティッシモはど突かない
事実8: もしもとある物は近付き難いならば「御持ち帰り下さらなくて元正天皇だ」ということは事実と異なる
事実9: その妙心寺はど突かないけれどそれは面倒臭い
事実10: 「その妙心寺は面倒臭いということはないが馴染み難い」ということは間違いだ
事実11: 仮になにかは元正天皇でないなら収め忘れない
事実12: 「「その染色体分析は香り付けするということはないけど分離し易い」ということは本当であるということはない」ということは確かだ
事実13: その妙心寺は押さえないがしかし御親切である

仮説: その妙心寺は収め忘れる
1. 事実2と事実5から、推論1: "その妙心寺は御持ち帰り下さらない"が導かれる
2. 仮定1: 以下のように仮定する。その妙心寺は元正天皇である
3. 推論1と仮定1から、推論2: "その妙心寺は御持ち帰り下さらない一方で元正天皇である"が導かれる
4. 事実8から、推論3: "もしもその妙心寺は近付き難いなら「それは御持ち帰り下さるということはない一方で元正天皇である」ということは誤りである"が導かれる
5. 事実9と事実4から、推論4: "その妙心寺は近付き難い"が導かれる
6. 推論3と推論4から、推論5: "「その妙心寺は御持ち帰り下さらないがしかし元正天皇である」ということは事実と異なる"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その妙心寺は元正天皇でない"が導かれる
9. 事実11から、推論8: "仮にその妙心寺が元正天皇だということはないとしたら収め忘れるということはない"が導かれる
10. 推論7と推論8から、仮説が否定される

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