あの凝結は震わせる
fact1: その辛酸が通信するということはないとしたらこの返信は通信する一方でそれは御待ちするということはない fact2: この返信は通信するしまた御待ちすれば「あの凝結は短い」ということは嘘でない fact3: もしもその旁が意味深いならこの麺棒は展示即売場だ fact4: 仮にこの麺棒は展示即売場であるとすれば「あの膀胱炎症状は展示即売場でないがしかし抜け易い」ということは成り立たない fact5: 仮に「この麺棒は油っぽくない」ということは真実であるとしたら短いということはないしさらに御待ちするということはない fact6: もしも短くないものが御待ちするということはないとするとそれは抜け易いということはない fact7: もし「あの膀胱炎症状は展示即売場でないししかも抜け易くない」ということは事実と異なるとしたら「その辛酸は通信しない」ということは確かである fact8: もし仮にこの麺棒は展示即売場であるとすれば「「あの膀胱炎症状は展示即売場でないしさらに抜け易くない」ということは誤っている」ということは成り立つ fact9: あの膀胱炎症状が抜け易いならその辛酸は通信しない fact10: 仮になにがしかの物が短いとするとそれは震わせる fact11: 「あの膀胱炎症状は展示即売場だということはないけど抜け易い」ということは誤りである fact12: もし仮にその辛酸が通信しないとするとこの返信は御待ちしない fact13: あの膀胱炎症状は御待ちする fact14: 仮にあの膀胱炎症状が油っぽくて更にそれが徹夜するとするとこの麺棒は油っぽくない fact15: 抜け易くない物は意味深くて通信する fact16: その旁は意味深い fact17: この返信は御待ちしない fact18: もし仮にその旁が震わせないかそれが展示即売場ならあの凝結は震わせるということはない fact19: この返信が通信する一方でそれが御待ちしないならあの凝結は短い
fact3 & fact16 -> int1: この麺棒は展示即売場である; int1 & fact8 -> int2: 「あの膀胱炎症状は展示即売場でないし抜け易いということはない」ということは間違っている; int2 & fact7 -> int3: 「その辛酸は通信するということはない」ということは成り立つ; int3 & fact1 -> int4: この返信は通信するが御待ちしない; int4 & fact19 -> int5: あの凝結は短い; fact10 -> int6: もし「あの凝結は短い」ということは嘘でないとすればそれは震わせる; int5 & int6 -> hypothesis;
あの凝結は震わせない
fact23 -> int7: もしこの麺棒が抜け易くないとするとそれは意味深いしさらに通信する; fact21 -> int8: この麺棒は短くないしその上御待ちしないとすれば「抜け易くない」ということは確かである;
$facts$ = fact1: その辛酸が通信するということはないとしたらこの返信は通信する一方でそれは御待ちするということはない fact2: この返信は通信するしまた御待ちすれば「あの凝結は短い」ということは嘘でない fact3: もしもその旁が意味深いならこの麺棒は展示即売場だ fact4: 仮にこの麺棒は展示即売場であるとすれば「あの膀胱炎症状は展示即売場でないがしかし抜け易い」ということは成り立たない fact5: 仮に「この麺棒は油っぽくない」ということは真実であるとしたら短いということはないしさらに御待ちするということはない fact6: もしも短くないものが御待ちするということはないとするとそれは抜け易いということはない fact7: もし「あの膀胱炎症状は展示即売場でないししかも抜け易くない」ということは事実と異なるとしたら「その辛酸は通信しない」ということは確かである fact8: もし仮にこの麺棒は展示即売場であるとすれば「「あの膀胱炎症状は展示即売場でないしさらに抜け易くない」ということは誤っている」ということは成り立つ fact9: あの膀胱炎症状が抜け易いならその辛酸は通信しない fact10: 仮になにがしかの物が短いとするとそれは震わせる fact11: 「あの膀胱炎症状は展示即売場だということはないけど抜け易い」ということは誤りである fact12: もし仮にその辛酸が通信しないとするとこの返信は御待ちしない fact13: あの膀胱炎症状は御待ちする fact14: 仮にあの膀胱炎症状が油っぽくて更にそれが徹夜するとするとこの麺棒は油っぽくない fact15: 抜け易くない物は意味深くて通信する fact16: その旁は意味深い fact17: この返信は御待ちしない fact18: もし仮にその旁が震わせないかそれが展示即売場ならあの凝結は震わせるということはない fact19: この返信が通信する一方でそれが御待ちしないならあの凝結は短い ; $hypothesis$ = あの凝結は震わせる ; $proof$ = 
fact3 & fact16 -> int1: この麺棒は展示即売場である; int1 & fact8 -> int2: 「あの膀胱炎症状は展示即売場でないし抜け易いということはない」ということは間違っている; int2 & fact7 -> int3: 「その辛酸は通信するということはない」ということは成り立つ; int3 & fact1 -> int4: この返信は通信するが御待ちしない; int4 & fact19 -> int5: あの凝結は短い; fact10 -> int6: もし「あの凝結は短い」ということは嘘でないとすればそれは震わせる; int5 & int6 -> hypothesis; __PROVED__
事実1: その辛酸が通信するということはないとしたらこの返信は通信する一方でそれは御待ちするということはない
事実2: この返信は通信するしまた御待ちすれば「あの凝結は短い」ということは嘘でない
事実3: もしもその旁が意味深いならこの麺棒は展示即売場だ
事実4: 仮にこの麺棒は展示即売場であるとすれば「あの膀胱炎症状は展示即売場でないがしかし抜け易い」ということは成り立たない
事実5: 仮に「この麺棒は油っぽくない」ということは真実であるとしたら短いということはないしさらに御待ちするということはない
事実6: もしも短くないものが御待ちするということはないとするとそれは抜け易いということはない
事実7: もし「あの膀胱炎症状は展示即売場でないししかも抜け易くない」ということは事実と異なるとしたら「その辛酸は通信しない」ということは確かである
事実8: もし仮にこの麺棒は展示即売場であるとすれば「「あの膀胱炎症状は展示即売場でないしさらに抜け易くない」ということは誤っている」ということは成り立つ
事実9: あの膀胱炎症状が抜け易いならその辛酸は通信しない
事実10: 仮になにがしかの物が短いとするとそれは震わせる
事実11: 「あの膀胱炎症状は展示即売場だということはないけど抜け易い」ということは誤りである
事実12: もし仮にその辛酸が通信しないとするとこの返信は御待ちしない
事実13: あの膀胱炎症状は御待ちする
事実14: 仮にあの膀胱炎症状が油っぽくて更にそれが徹夜するとするとこの麺棒は油っぽくない
事実15: 抜け易くない物は意味深くて通信する
事実16: その旁は意味深い
事実17: この返信は御待ちしない
事実18: もし仮にその旁が震わせないかそれが展示即売場ならあの凝結は震わせるということはない
事実19: この返信が通信する一方でそれが御待ちしないならあの凝結は短い

仮説: あの凝結は震わせる
1. 事実3と事実16から、推論1: "この麺棒は展示即売場である"が導かれる
2. 推論1と事実8から、推論2: "「あの膀胱炎症状は展示即売場でないし抜け易いということはない」ということは間違っている"が導かれる
3. 推論2と事実7から、推論3: "「その辛酸は通信するということはない」ということは成り立つ"が導かれる
4. 推論3と事実1から、推論4: "この返信は通信するが御待ちしない"が導かれる
5. 推論4と事実19から、推論5: "あの凝結は短い"が導かれる
6. 事実10から、推論6: "もし「あの凝結は短い」ということは嘘でないとすればそれは震わせる"が導かれる
7. 推論5と推論6から、仮説が導かれる

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