あのスープ売りは痛々しくない
fact1: 「あの掛かり合いは転移する」ということは成り立つとしたら「痛々しくないししかも滑らない」ということは誤りだ fact2: この産前・産後は旧藩だ fact3: あの掛かり合いは張り裂ける fact4: もしもこの産前・産後が授乳するか淡いかあるいはどちらもだとしたらあの掛かり合いは旧藩でない fact5: 仮にあのＩＳＤＦは就職希望者であるなら「廃材だということはないしかつきついということはない」ということは成り立たない fact6: 仮にこの産前・産後が淡いならあの掛かり合いは旧藩でない fact7: きつかないものが滑るとしたらそれは転移しない fact8: 仮になにかは痛々しいならば「それは旧藩であるということはないが淡い」ということは成り立たない fact9: あの掛かり合いは廃材であるということはないとしたらこの産前・産後はきつくないけど滑る fact10: もしもある物は旧藩であるということはないしその上淡くないなら張り裂けるということはない fact11: あのＩＳＤＦは旧藩である fact12: 「「痛々しくないしかつ滑らない」ということは成り立たない」物があるとしたらこの産前・産後は痛々しい fact13: もしあのスープ売りが痛々しいかあるいはそれが旧藩であるかもしくはどちらもならばこの産前・産後は淡くない fact14: あのＩＳＤＦは就職希望者だ fact15: あのＩＳＤＦが旧藩だとすればあの掛かり合いは旧藩である fact16: あのＩＳＤＦは授乳する fact17: もし仮にこの産前・産後が転移しないならばそれは旧藩でないし淡くない fact18: もし「「廃材でないしおまけにきつかない」ということは成り立つということはない」ものがあるならばあの掛かり合いは転移する fact19: もしもあのスープ売りは張り裂けるなら「この産前・産後は授乳する」ということは成り立つ fact20: あの掛かり合いは淡い fact21: もし何らかの物が張り裂けないとすれば痛々しい fact22: あの五層は旧藩である fact23: もし何らかの物は張り裂けないとすると「それは授乳するしそれは痛々しい」ということは事実と異なる
void -> assump1: 以下のように仮定する。あのスープ売りは張り裂ける; fact19 & assump1 -> int1: この産前・産後は授乳する; int1 -> int2: この産前・産後は授乳するかあるいは淡い; int2 & fact4 -> int3: あの掛かり合いは旧藩でない; fact11 & fact15 -> int4: あの掛かり合いは旧藩である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あのスープ売りは張り裂けない; fact21 -> int7: もし仮にあのスープ売りが張り裂けないとすればそれは痛々しい; int6 & int7 -> hypothesis;
あのスープ売りは痛々しくない
fact25 -> int8: 仮にこの産前・産後は張り裂けないとすると「それは授乳するしそれは痛々しい」ということは本当でない; fact27 -> int9: この産前・産後は旧藩でないしおまけに淡くないなら張り裂けない; fact28 -> int10: もし仮にこの産前・産後はきつくないけど滑るならそれは転移しない;
$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$ = 
void -> assump1: 以下のように仮定する。あのスープ売りは張り裂ける; fact19 & assump1 -> int1: この産前・産後は授乳する; int1 -> int2: この産前・産後は授乳するかあるいは淡い; int2 & fact4 -> int3: あの掛かり合いは旧藩でない; fact11 & fact15 -> int4: あの掛かり合いは旧藩である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あのスープ売りは張り裂けない; fact21 -> 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: もし何らかの物が張り裂けないとすれば痛々しい
事実22: あの五層は旧藩である
事実23: もし何らかの物は張り裂けないとすると「それは授乳するしそれは痛々しい」ということは事実と異なる

仮説: あのスープ売りは痛々しくない
1. 仮定1: 以下のように仮定する。あのスープ売りは張り裂ける
2. 事実19と仮定1から、推論1: "この産前・産後は授乳する"が導かれる
3. 推論1から、推論2: "この産前・産後は授乳するかあるいは淡い"が導かれる
4. 推論2と事実4から、推論3: "あの掛かり合いは旧藩でない"が導かれる
5. 事実11と事実15から、推論4: "あの掛かり合いは旧藩である"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あのスープ売りは張り裂けない"が導かれる
8. 事実21から、推論7: "もし仮にあのスープ売りが張り裂けないとすればそれは痛々しい"が導かれる
9. 推論6と推論7から、仮説が否定される

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