あの圧縮記帳は配分出来る
fact1: もし「あのＡＷＢ・ＨＡＷＢ単位は緩み易くないししかもそれは華々しくない」ということは成り立たないなら華々しい fact2: もしも「「御過ごし下さるし迎合だ」ということは成り立たない」物があるならあのＡＷＢ・ＨＡＷＢ単位は御過ごし下さらない fact3: それは緩み易くないし更に華々しくないというものはない fact4: 仮になんらかの物は身悶えるしまた配分出来るならそれは跳躍しない fact5: とある物は跳躍するということはないとしたら「泳ぎ始めない」ということは嘘だ fact6: もしも「あのＡＷＢ・ＨＡＷＢ単位は身悶えるかもしくは配分出来るということはないかあるいは両方である」ということは嘘であるならあの圧縮記帳は配分出来る fact7: 仮にあの圧縮記帳が泳ぎ始めるとするとあのＡＷＢ・ＨＡＷＢ単位は御過ごし下さる fact8: もしも「「なんらかのものは泳ぎ始める一方で跳躍しない」ということは間違いでない」ということは誤りであるとしたら緩み易い fact9: なにがしかのものは御過ごし下さるしさらに迎合だ fact10: 「「御過ごし下さるししかも迎合だ」ということは成り立たない」ものはある fact11: もしもあの圧縮記帳が身悶えないならあのＡＷＢ・ＨＡＷＢ単位は配分出来る fact12: この高度道路交通システムは泳ぎ始めないが御過ごし下さる fact13: あの圧縮記帳は釣菌しない fact14: あの圧縮記帳は身悶えるしおまけにそれは緩み易い
fact14 -> int1: あの圧縮記帳は身悶える; void -> assump1: 以下のように仮定する。あの圧縮記帳は配分出来る; int1 & assump1 -> int2: あの圧縮記帳は身悶えるし配分出来る; fact4 -> int3: あの圧縮記帳が身悶えるしさらにそれが配分出来るとすると跳躍しない; int2 & int3 -> int4: あの圧縮記帳は跳躍しない; fact5 -> int5: 仮にあの圧縮記帳が跳躍しないとすると泳ぎ始める; int4 & int5 -> int6: あの圧縮記帳は泳ぎ始める; int6 & fact7 -> int7: あのＡＷＢ・ＨＡＷＢ単位は御過ごし下さる; fact10 & fact2 -> int8: あのＡＷＢ・ＨＡＷＢ単位は御過ごし下さらない; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
あの圧縮記帳は配分出来る
fact17 -> int10: 「あのＡＷＢ・ＨＡＷＢ単位は泳ぎ始めるけれど跳躍しない」ということは偽であるならそれは緩み易い; fact15 -> int11: この高度道路交通システムは泳ぎ始めない; int11 -> int12: とある物は泳ぎ始めるということはない;
$facts$ = fact1: もし「あのＡＷＢ・ＨＡＷＢ単位は緩み易くないししかもそれは華々しくない」ということは成り立たないなら華々しい fact2: もしも「「御過ごし下さるし迎合だ」ということは成り立たない」物があるならあのＡＷＢ・ＨＡＷＢ単位は御過ごし下さらない fact3: それは緩み易くないし更に華々しくないというものはない fact4: 仮になんらかの物は身悶えるしまた配分出来るならそれは跳躍しない fact5: とある物は跳躍するということはないとしたら「泳ぎ始めない」ということは嘘だ fact6: もしも「あのＡＷＢ・ＨＡＷＢ単位は身悶えるかもしくは配分出来るということはないかあるいは両方である」ということは嘘であるならあの圧縮記帳は配分出来る fact7: 仮にあの圧縮記帳が泳ぎ始めるとするとあのＡＷＢ・ＨＡＷＢ単位は御過ごし下さる fact8: もしも「「なんらかのものは泳ぎ始める一方で跳躍しない」ということは間違いでない」ということは誤りであるとしたら緩み易い fact9: なにがしかのものは御過ごし下さるしさらに迎合だ fact10: 「「御過ごし下さるししかも迎合だ」ということは成り立たない」ものはある fact11: もしもあの圧縮記帳が身悶えないならあのＡＷＢ・ＨＡＷＢ単位は配分出来る fact12: この高度道路交通システムは泳ぎ始めないが御過ごし下さる fact13: あの圧縮記帳は釣菌しない fact14: あの圧縮記帳は身悶えるしおまけにそれは緩み易い ; $hypothesis$ = あの圧縮記帳は配分出来る ; $proof$ = 
fact14 -> int1: あの圧縮記帳は身悶える; void -> assump1: 以下のように仮定する。あの圧縮記帳は配分出来る; int1 & assump1 -> int2: あの圧縮記帳は身悶えるし配分出来る; fact4 -> int3: あの圧縮記帳が身悶えるしさらにそれが配分出来るとすると跳躍しない; int2 & int3 -> int4: あの圧縮記帳は跳躍しない; fact5 -> int5: 仮にあの圧縮記帳が跳躍しないとすると泳ぎ始める; int4 & int5 -> int6: あの圧縮記帳は泳ぎ始める; int6 & fact7 -> int7: あのＡＷＢ・ＨＡＷＢ単位は御過ごし下さる; fact10 & fact2 -> int8: あのＡＷＢ・ＨＡＷＢ単位は御過ごし下さらない; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: もし「あのＡＷＢ・ＨＡＷＢ単位は緩み易くないししかもそれは華々しくない」ということは成り立たないなら華々しい
事実2: もしも「「御過ごし下さるし迎合だ」ということは成り立たない」物があるならあのＡＷＢ・ＨＡＷＢ単位は御過ごし下さらない
事実3: それは緩み易くないし更に華々しくないというものはない
事実4: 仮になんらかの物は身悶えるしまた配分出来るならそれは跳躍しない
事実5: とある物は跳躍するということはないとしたら「泳ぎ始めない」ということは嘘だ
事実6: もしも「あのＡＷＢ・ＨＡＷＢ単位は身悶えるかもしくは配分出来るということはないかあるいは両方である」ということは嘘であるならあの圧縮記帳は配分出来る
事実7: 仮にあの圧縮記帳が泳ぎ始めるとするとあのＡＷＢ・ＨＡＷＢ単位は御過ごし下さる
事実8: もしも「「なんらかのものは泳ぎ始める一方で跳躍しない」ということは間違いでない」ということは誤りであるとしたら緩み易い
事実9: なにがしかのものは御過ごし下さるしさらに迎合だ
事実10: 「「御過ごし下さるししかも迎合だ」ということは成り立たない」ものはある
事実11: もしもあの圧縮記帳が身悶えないならあのＡＷＢ・ＨＡＷＢ単位は配分出来る
事実12: この高度道路交通システムは泳ぎ始めないが御過ごし下さる
事実13: あの圧縮記帳は釣菌しない
事実14: あの圧縮記帳は身悶えるしおまけにそれは緩み易い

仮説: あの圧縮記帳は配分出来る
1. 事実14から、推論1: "あの圧縮記帳は身悶える"が導かれる
2. 仮定1: 以下のように仮定する。あの圧縮記帳は配分出来る
3. 推論1と仮定1から、推論2: "あの圧縮記帳は身悶えるし配分出来る"が導かれる
4. 事実4から、推論3: "あの圧縮記帳が身悶えるしさらにそれが配分出来るとすると跳躍しない"が導かれる
5. 推論2と推論3から、推論4: "あの圧縮記帳は跳躍しない"が導かれる
6. 事実5から、推論5: "仮にあの圧縮記帳が跳躍しないとすると泳ぎ始める"が導かれる
7. 推論4と推論5から、推論6: "あの圧縮記帳は泳ぎ始める"が導かれる
8. 推論6と事実7から、推論7: "あのＡＷＢ・ＨＡＷＢ単位は御過ごし下さる"が導かれる
9. 事実10と事実2から、推論8: "あのＡＷＢ・ＨＡＷＢ単位は御過ごし下さらない"が導かれる
10. 推論7と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が否定される

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