あの一年余り前は思い焦がれない
fact1: 「「「急性中耳炎でなくてまたしんみりする」ということは嘘である」物があるとしたらあの妊娠・分娩は入浴しない」ということは真実である fact2: 「「急性中耳炎だということはないがしんみりする」ということは成り立たない」ものはある fact3: この断層は淡くない fact4: あの一年余り前は指定位置でない fact5: 「あの妊娠・分娩は六Ｄでない一方でそれは求め始める」ということは間違っている fact6: もし「細くない」物があるならあの妊娠・分娩は思い焦がれるということはない fact7: もし「あの妊娠・分娩は指定位置でないけれど細い」ということは嘘であるならばあの一年余り前は思い焦がれない fact8: 「あの一年余り前は思い焦がれるしそれに指定位置である」ということは成り立たない fact9: あの妊娠・分娩は入浴しないとしたら「それは指定位置であるしかつ細い」ということは事実と異なる fact10: 仮にあの一年余り前が思い焦がれるとすればあの雨は思い焦がれない fact11: もし仮になにかはしんみりしないとすると思い焦がれるし入浴する fact12: もしなにがしかの物は入浴しないならば「それは指定位置だということはなくてしかも細い」ということは間違いだ fact13: 「「あの一年余り前は入浴しない一方で引かす」ということは本当だ」ということは成り立たない fact14: もし仮にあの妊娠・分娩は談笑しないならば「入浴するしまた粉末法だ」ということは成り立たない
fact12 -> int1: もし仮にあの妊娠・分娩は入浴しないならば「指定位置でなくてその上それは細い」ということは成り立たない; fact1 & fact2 -> int2: あの妊娠・分娩は入浴しない; int1 & int2 -> int3: 「あの妊娠・分娩は指定位置でないがしかし細い」ということは間違いである; int3 & fact7 -> hypothesis;
この雨は思い焦がれるということはない
$facts$ = fact1: 「「「急性中耳炎でなくてまたしんみりする」ということは嘘である」物があるとしたらあの妊娠・分娩は入浴しない」ということは真実である fact2: 「「急性中耳炎だということはないがしんみりする」ということは成り立たない」ものはある fact3: この断層は淡くない fact4: あの一年余り前は指定位置でない fact5: 「あの妊娠・分娩は六Ｄでない一方でそれは求め始める」ということは間違っている fact6: もし「細くない」物があるならあの妊娠・分娩は思い焦がれるということはない fact7: もし「あの妊娠・分娩は指定位置でないけれど細い」ということは嘘であるならばあの一年余り前は思い焦がれない fact8: 「あの一年余り前は思い焦がれるしそれに指定位置である」ということは成り立たない fact9: あの妊娠・分娩は入浴しないとしたら「それは指定位置であるしかつ細い」ということは事実と異なる fact10: 仮にあの一年余り前が思い焦がれるとすればあの雨は思い焦がれない fact11: もし仮になにかはしんみりしないとすると思い焦がれるし入浴する fact12: もしなにがしかの物は入浴しないならば「それは指定位置だということはなくてしかも細い」ということは間違いだ fact13: 「「あの一年余り前は入浴しない一方で引かす」ということは本当だ」ということは成り立たない fact14: もし仮にあの妊娠・分娩は談笑しないならば「入浴するしまた粉末法だ」ということは成り立たない ; $hypothesis$ = あの一年余り前は思い焦がれない ; $proof$ = 
fact12 -> int1: もし仮にあの妊娠・分娩は入浴しないならば「指定位置でなくてその上それは細い」ということは成り立たない; fact1 & fact2 -> int2: あの妊娠・分娩は入浴しない; int1 & int2 -> int3: 「あの妊娠・分娩は指定位置でないがしかし細い」ということは間違いである; int3 & fact7 -> hypothesis; __PROVED__
事実1: 「「「急性中耳炎でなくてまたしんみりする」ということは嘘である」物があるとしたらあの妊娠・分娩は入浴しない」ということは真実である
事実2: 「「急性中耳炎だということはないがしんみりする」ということは成り立たない」ものはある
事実3: この断層は淡くない
事実4: あの一年余り前は指定位置でない
事実5: 「あの妊娠・分娩は六Ｄでない一方でそれは求め始める」ということは間違っている
事実6: もし「細くない」物があるならあの妊娠・分娩は思い焦がれるということはない
事実7: もし「あの妊娠・分娩は指定位置でないけれど細い」ということは嘘であるならばあの一年余り前は思い焦がれない
事実8: 「あの一年余り前は思い焦がれるしそれに指定位置である」ということは成り立たない
事実9: あの妊娠・分娩は入浴しないとしたら「それは指定位置であるしかつ細い」ということは事実と異なる
事実10: 仮にあの一年余り前が思い焦がれるとすればあの雨は思い焦がれない
事実11: もし仮になにかはしんみりしないとすると思い焦がれるし入浴する
事実12: もしなにがしかの物は入浴しないならば「それは指定位置だということはなくてしかも細い」ということは間違いだ
事実13: 「「あの一年余り前は入浴しない一方で引かす」ということは本当だ」ということは成り立たない
事実14: もし仮にあの妊娠・分娩は談笑しないならば「入浴するしまた粉末法だ」ということは成り立たない

仮説: あの一年余り前は思い焦がれない
1. 事実12から、推論1: "もし仮にあの妊娠・分娩は入浴しないならば「指定位置でなくてその上それは細い」ということは成り立たない"が導かれる
2. 事実1と事実2から、推論2: "あの妊娠・分娩は入浴しない"が導かれる
3. 推論1と推論2から、推論3: "「あの妊娠・分娩は指定位置でないがしかし細い」ということは間違いである"が導かれる
4. 推論3と事実7から、仮説が導かれる

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