「あの湯加減は二走内であるが御線香でない」ということは誤りだ
fact1: 「この上着はしかつめらしくないしおまけにそれは発信でない」ということは事実と異なる fact2: もしもこの上着は発信であるとすれば「この同は充溢する」ということは成り立つ fact3: 仮に「この自分流は設例でないしそれに成され易くない」ということは成り立たないとすると人恋しい fact4: この自分流は二走内でない fact5: あの湯加減は二走内である fact6: もしも「抱き取るということはない」ものはあれば「この自分流は前倒しするということはないかそれはしかつめらしいかもしくはどちらもだ」ということは嘘だ fact7: この上着は成され易い fact8: この同はしかつめらしい fact9: 「この自分流は設例でないし成され易くない」ということは成り立たない fact10: 「充溢する」物はある fact11: この自分流が人恋しいとすればこの上着は発信である fact12: もしもなんらかの物が前倒ししないとすると二走内だけれど御線香であるということはない fact13: もし「ある物は発信でないしそれは人恋しいということはない」ということは本当でないとするとそれは充溢する fact14: もしも何かは発信であるとすれば「二走内だけど御線香でない」ということは真実でない fact15: 何らかのものは抱き取らない fact16: 何かは発信でないとすると二走内だが充溢しない fact17: もしもこの自分流が前倒ししないならこの要素Ａはしかつめらしい fact18: もしこの自分流が成され易いなら人恋しい fact19: もし「充溢するししかつめらしい」物があるとしたらあの湯加減は前倒ししない fact20: 「しかつめらしい」ものはある fact21: とあるものが二走内でないならば御線香であるかもしくはそれは前倒しするということはないかあるいは両方だ
fact3 & fact9 -> int1: この自分流は人恋しい; int1 & fact11 -> int2: この上着は発信である; int2 & fact2 -> int3: この同は充溢する; int3 & fact8 -> int4: この同は充溢するしおまけにしかつめらしい; int4 -> int5: なにがしかの物は充溢するしおまけにしかつめらしい; int5 & fact19 -> int6: あの湯加減は前倒ししない; fact12 -> int7: もしあの湯加減が前倒ししないとしたらそれは二走内だし加えて御線香でない; int6 & int7 -> hypothesis;
「あの湯加減は二走内であるがそれは御線香でない」ということは成り立たない
fact24 -> int8: もしもあの湯加減は発信ならば「それは二走内だけれど御線香だということはない」ということは成り立つということはない; fact23 & fact22 -> int9: 「この自分流は前倒ししないかあるいはそれはしかつめらしいかあるいは両方ともである」ということは偽である; int9 -> int10: 「「前倒ししないかあるいはしかつめらしいか両方ともだ」ということは偽な」物はある;
$facts$ = fact1: 「この上着はしかつめらしくないしおまけにそれは発信でない」ということは事実と異なる fact2: もしもこの上着は発信であるとすれば「この同は充溢する」ということは成り立つ fact3: 仮に「この自分流は設例でないしそれに成され易くない」ということは成り立たないとすると人恋しい fact4: この自分流は二走内でない fact5: あの湯加減は二走内である fact6: もしも「抱き取るということはない」ものはあれば「この自分流は前倒しするということはないかそれはしかつめらしいかもしくはどちらもだ」ということは嘘だ fact7: この上着は成され易い fact8: この同はしかつめらしい fact9: 「この自分流は設例でないし成され易くない」ということは成り立たない fact10: 「充溢する」物はある fact11: この自分流が人恋しいとすればこの上着は発信である fact12: もしもなんらかの物が前倒ししないとすると二走内だけれど御線香であるということはない fact13: もし「ある物は発信でないしそれは人恋しいということはない」ということは本当でないとするとそれは充溢する fact14: もしも何かは発信であるとすれば「二走内だけど御線香でない」ということは真実でない fact15: 何らかのものは抱き取らない fact16: 何かは発信でないとすると二走内だが充溢しない fact17: もしもこの自分流が前倒ししないならこの要素Ａはしかつめらしい fact18: もしこの自分流が成され易いなら人恋しい fact19: もし「充溢するししかつめらしい」物があるとしたらあの湯加減は前倒ししない fact20: 「しかつめらしい」ものはある fact21: とあるものが二走内でないならば御線香であるかもしくはそれは前倒しするということはないかあるいは両方だ ; $hypothesis$ = 「あの湯加減は二走内であるが御線香でない」ということは誤りだ ; $proof$ = 
fact3 & fact9 -> int1: この自分流は人恋しい; int1 & fact11 -> int2: この上着は発信である; int2 & fact2 -> int3: この同は充溢する; int3 & fact8 -> int4: この同は充溢するしおまけにしかつめらしい; int4 -> int5: なにがしかの物は充溢するしおまけにしかつめらしい; int5 & fact19 -> int6: あの湯加減は前倒ししない; fact12 -> int7: もしあの湯加減が前倒ししないとしたらそれは二走内だし加えて御線香でない; int6 & int7 -> hypothesis; __DISPROVED__
事実1: 「この上着はしかつめらしくないしおまけにそれは発信でない」ということは事実と異なる
事実2: もしもこの上着は発信であるとすれば「この同は充溢する」ということは成り立つ
事実3: 仮に「この自分流は設例でないしそれに成され易くない」ということは成り立たないとすると人恋しい
事実4: この自分流は二走内でない
事実5: あの湯加減は二走内である
事実6: もしも「抱き取るということはない」ものはあれば「この自分流は前倒しするということはないかそれはしかつめらしいかもしくはどちらもだ」ということは嘘だ
事実7: この上着は成され易い
事実8: この同はしかつめらしい
事実9: 「この自分流は設例でないし成され易くない」ということは成り立たない
事実10: 「充溢する」物はある
事実11: この自分流が人恋しいとすればこの上着は発信である
事実12: もしもなんらかの物が前倒ししないとすると二走内だけれど御線香であるということはない
事実13: もし「ある物は発信でないしそれは人恋しいということはない」ということは本当でないとするとそれは充溢する
事実14: もしも何かは発信であるとすれば「二走内だけど御線香でない」ということは真実でない
事実15: 何らかのものは抱き取らない
事実16: 何かは発信でないとすると二走内だが充溢しない
事実17: もしもこの自分流が前倒ししないならこの要素Ａはしかつめらしい
事実18: もしこの自分流が成され易いなら人恋しい
事実19: もし「充溢するししかつめらしい」物があるとしたらあの湯加減は前倒ししない
事実20: 「しかつめらしい」ものはある
事実21: とあるものが二走内でないならば御線香であるかもしくはそれは前倒しするということはないかあるいは両方だ

仮説: 「あの湯加減は二走内であるが御線香でない」ということは誤りだ
1. 事実3と事実9から、推論1: "この自分流は人恋しい"が導かれる
2. 推論1と事実11から、推論2: "この上着は発信である"が導かれる
3. 推論2と事実2から、推論3: "この同は充溢する"が導かれる
4. 推論3と事実8から、推論4: "この同は充溢するしおまけにしかつめらしい"が導かれる
5. 推論4から、推論5: "なにがしかの物は充溢するしおまけにしかつめらしい"が導かれる
6. 推論5と事実19から、推論6: "あの湯加減は前倒ししない"が導かれる
7. 事実12から、推論7: "もしあの湯加減が前倒ししないとしたらそれは二走内だし加えて御線香でない"が導かれる
8. 推論6と推論7から、仮説が否定される

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