この緊張は確立出来ない
fact1: この緊張は実務的問題である fact2: 「この緊張は説明し難い」ということは成り立つ fact3: もしこの緊張は修理しないなら「確立出来る」ということは正しい fact4: もしも「この緊張は田舎っぽくない」ということは偽でないなら「話し終える」ということは成り立つ fact5: もしこの緊張が売り上げ代金回収期間だとしたらそれは紳士らしい fact6: もしもあの諸寺が煮え繰るならそれは話し終える fact7: この緊張はごっつい fact8: 「この緊張は逼塞するということはない」ということは成り立つ fact9: 仮に「この緊張は盗聴するし加えてそれは修理する」ということは真実であるとするとそれは実務的問題でない fact10: この緊張は売り上げ代金回収期間であるし加えて話し終える fact11: もし「何らかの物は盗聴しないかもしくは紳士らしいかまたはどちらもだ」ということは嘘であるなら話し終えない fact12: 仮になんらかのものが紳士らしいとしたら盗聴する fact13: もしもあの緩衝装置が解列するしその上話し終えるとしたらそれは翻意しない fact14: なんらかのものは話し終えないとしたら絶え難くてそれに売り上げ代金回収期間だ fact15: この緊張は悩ましい
fact10 -> int1: この緊張は売り上げ代金回収期間である; int1 & fact5 -> int2: この緊張は紳士らしい; fact12 -> int3: もし仮にこの緊張が紳士らしいならばそれは盗聴する; int2 & int3 -> int4: この緊張は盗聴する; void -> assump1: 以下のように仮定する。この緊張は修理する; int4 & assump1 -> int5: この緊張は盗聴するししかもそれは修理する; int5 & fact9 -> int6: この緊張は実務的問題だということはない; int6 & fact1 -> int7: これは矛盾である; [assump1] & int7 -> int8: この緊張は修理しない; int8 & fact3 -> hypothesis;
この緊張は絶え難い
fact16 -> int9: もしもこの緊張は話し終えないとしたらそれは絶え難くて更に売り上げ代金回収期間だ; fact17 -> int10: もし「この緊張は盗聴しないか紳士らしいかあるいは両方だ」ということは正しいということはないならば話し終えない;
$facts$ = fact1: この緊張は実務的問題である fact2: 「この緊張は説明し難い」ということは成り立つ fact3: もしこの緊張は修理しないなら「確立出来る」ということは正しい fact4: もしも「この緊張は田舎っぽくない」ということは偽でないなら「話し終える」ということは成り立つ fact5: もしこの緊張が売り上げ代金回収期間だとしたらそれは紳士らしい fact6: もしもあの諸寺が煮え繰るならそれは話し終える fact7: この緊張はごっつい fact8: 「この緊張は逼塞するということはない」ということは成り立つ fact9: 仮に「この緊張は盗聴するし加えてそれは修理する」ということは真実であるとするとそれは実務的問題でない fact10: この緊張は売り上げ代金回収期間であるし加えて話し終える fact11: もし「何らかの物は盗聴しないかもしくは紳士らしいかまたはどちらもだ」ということは嘘であるなら話し終えない fact12: 仮になんらかのものが紳士らしいとしたら盗聴する fact13: もしもあの緩衝装置が解列するしその上話し終えるとしたらそれは翻意しない fact14: なんらかのものは話し終えないとしたら絶え難くてそれに売り上げ代金回収期間だ fact15: この緊張は悩ましい ; $hypothesis$ = この緊張は確立出来ない ; $proof$ = 
fact10 -> int1: この緊張は売り上げ代金回収期間である; int1 & fact5 -> int2: この緊張は紳士らしい; fact12 -> int3: もし仮にこの緊張が紳士らしいならばそれは盗聴する; int2 & int3 -> int4: この緊張は盗聴する; void -> assump1: 以下のように仮定する。この緊張は修理する; int4 & assump1 -> int5: この緊張は盗聴するししかもそれは修理する; int5 & fact9 -> int6: この緊張は実務的問題だということはない; int6 & fact1 -> int7: これは矛盾である; [assump1] & int7 -> int8: この緊張は修理しない; int8 & fact3 -> hypothesis; __DISPROVED__
事実1: この緊張は実務的問題である
事実2: 「この緊張は説明し難い」ということは成り立つ
事実3: もしこの緊張は修理しないなら「確立出来る」ということは正しい
事実4: もしも「この緊張は田舎っぽくない」ということは偽でないなら「話し終える」ということは成り立つ
事実5: もしこの緊張が売り上げ代金回収期間だとしたらそれは紳士らしい
事実6: もしもあの諸寺が煮え繰るならそれは話し終える
事実7: この緊張はごっつい
事実8: 「この緊張は逼塞するということはない」ということは成り立つ
事実9: 仮に「この緊張は盗聴するし加えてそれは修理する」ということは真実であるとするとそれは実務的問題でない
事実10: この緊張は売り上げ代金回収期間であるし加えて話し終える
事実11: もし「何らかの物は盗聴しないかもしくは紳士らしいかまたはどちらもだ」ということは嘘であるなら話し終えない
事実12: 仮になんらかのものが紳士らしいとしたら盗聴する
事実13: もしもあの緩衝装置が解列するしその上話し終えるとしたらそれは翻意しない
事実14: なんらかのものは話し終えないとしたら絶え難くてそれに売り上げ代金回収期間だ
事実15: この緊張は悩ましい

仮説: この緊張は確立出来ない
1. 事実10から、推論1: "この緊張は売り上げ代金回収期間である"が導かれる
2. 推論1と事実5から、推論2: "この緊張は紳士らしい"が導かれる
3. 事実12から、推論3: "もし仮にこの緊張が紳士らしいならばそれは盗聴する"が導かれる
4. 推論2と推論3から、推論4: "この緊張は盗聴する"が導かれる
5. 仮定1: 以下のように仮定する。この緊張は修理する
6. 推論4と仮定1から、推論5: "この緊張は盗聴するししかもそれは修理する"が導かれる
7. 推論5と事実9から、推論6: "この緊張は実務的問題だということはない"が導かれる
8. 推論6と事実1から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "この緊張は修理しない"が導かれる
10. 推論8と事実3から、仮説が否定される

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