あの蒸気浴は程近い
fact1: もし仮にこの部課長クラスは反復しないとすれば「その砕石は差し直さないかあるいはそれは救い難いかもしくはどちらもだ」ということは成り立たない fact2: もしもあの外道は気付き易いとすれば「それは既だ」ということは成り立つ fact3: もし仮にその砕石が程近くないとしたらあの蒸気浴は強制送還するし程近い fact4: 仮に「あの外道は気付き易いが変わり易くない」ということは誤りであるならばその砕石は程近くない fact5: あの蒸気浴は強制送還する fact6: あの公用文は差し直す fact7: 「その砕石は既である」ということは成り立つ fact8: その無垢は独立である fact9: もしなにがしかのものは既でないけれど気付き易いならば変わり易くない fact10: もしもその砕石が程近いということはないとするとあの蒸気浴は強制送還する fact11: 「あの外道は変わり易くない」ということは正しい fact12: 「あの外道は気付き易くて加えて変わり易い」ということは偽である fact13: もし仮に「あの外道は既だということはなくてそれに強制送還しない」ということは嘘ならあの蒸気浴は気付き易くない fact14: もしとある物は独立だとしたら「見返らないしさらにヴァージニア会社でない」ということは確かでない fact15: もし仮に「その砕石は差し直さないかまたは救い難いかあるいは両方ともである」ということは成り立たないとしたらあの外道は強制送還する fact16: その四品種は気付き易いということはない fact17: 「あの外道は程近くなくて気付き易くない」ということは確かならあの蒸気浴は程近くない fact18: もしあの外道が変わり易いとすればあの砕石は程近くない fact19: あの外道は差し直す fact20: あるものは変わり易くないかもしくは既でないかあるいは両方であるとすると「それは変わり易くない」ということは成り立つ fact21: もしもあるものが強制送還するとするとそれは変わり易くないかあるいは既でないかまたは両方ともだ fact22: あの外道が差し直すとすると既でない
void -> assump1: 以下のように仮定する。あの外道は気付き易いけれど変わり易くない; assump1 -> int1: あの外道は気付き易い; int1 & fact2 -> int2: あの外道は既だ; fact19 & fact22 -> int3: あの外道は既だということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの外道は気付き易いけど変わり易くない」ということは偽である; int5 & fact4 -> int6: その砕石は程近くない; int6 & fact3 -> int7: あの蒸気浴は強制送還するししかもそれは程近い; int7 -> hypothesis;
「あの蒸気浴は変わり易くない」ということは正しい
fact23 -> int8: もし仮にあの蒸気浴が既であるということはないけれどそれが気付き易いならそれは変わり易くない;
$facts$ = fact1: もし仮にこの部課長クラスは反復しないとすれば「その砕石は差し直さないかあるいはそれは救い難いかもしくはどちらもだ」ということは成り立たない fact2: もしもあの外道は気付き易いとすれば「それは既だ」ということは成り立つ fact3: もし仮にその砕石が程近くないとしたらあの蒸気浴は強制送還するし程近い fact4: 仮に「あの外道は気付き易いが変わり易くない」ということは誤りであるならばその砕石は程近くない fact5: あの蒸気浴は強制送還する fact6: あの公用文は差し直す fact7: 「その砕石は既である」ということは成り立つ fact8: その無垢は独立である fact9: もしなにがしかのものは既でないけれど気付き易いならば変わり易くない fact10: もしもその砕石が程近いということはないとするとあの蒸気浴は強制送還する fact11: 「あの外道は変わり易くない」ということは正しい fact12: 「あの外道は気付き易くて加えて変わり易い」ということは偽である fact13: もし仮に「あの外道は既だということはなくてそれに強制送還しない」ということは嘘ならあの蒸気浴は気付き易くない fact14: もしとある物は独立だとしたら「見返らないしさらにヴァージニア会社でない」ということは確かでない fact15: もし仮に「その砕石は差し直さないかまたは救い難いかあるいは両方ともである」ということは成り立たないとしたらあの外道は強制送還する fact16: その四品種は気付き易いということはない fact17: 「あの外道は程近くなくて気付き易くない」ということは確かならあの蒸気浴は程近くない fact18: もしあの外道が変わり易いとすればあの砕石は程近くない fact19: あの外道は差し直す fact20: あるものは変わり易くないかもしくは既でないかあるいは両方であるとすると「それは変わり易くない」ということは成り立つ fact21: もしもあるものが強制送還するとするとそれは変わり易くないかあるいは既でないかまたは両方ともだ fact22: あの外道が差し直すとすると既でない ; $hypothesis$ = あの蒸気浴は程近い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの外道は気付き易いけれど変わり易くない; assump1 -> int1: あの外道は気付き易い; int1 & fact2 -> int2: あの外道は既だ; fact19 & fact22 -> int3: あの外道は既だということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの外道は気付き易いけど変わり易くない」ということは偽である; int5 & fact4 -> int6: その砕石は程近くない; int6 & fact3 -> int7: あの蒸気浴は強制送還するししかもそれは程近い; int7 -> hypothesis; __PROVED__
事実1: もし仮にこの部課長クラスは反復しないとすれば「その砕石は差し直さないかあるいはそれは救い難いかもしくはどちらもだ」ということは成り立たない
事実2: もしもあの外道は気付き易いとすれば「それは既だ」ということは成り立つ
事実3: もし仮にその砕石が程近くないとしたらあの蒸気浴は強制送還するし程近い
事実4: 仮に「あの外道は気付き易いが変わり易くない」ということは誤りであるならばその砕石は程近くない
事実5: あの蒸気浴は強制送還する
事実6: あの公用文は差し直す
事実7: 「その砕石は既である」ということは成り立つ
事実8: その無垢は独立である
事実9: もしなにがしかのものは既でないけれど気付き易いならば変わり易くない
事実10: もしもその砕石が程近いということはないとするとあの蒸気浴は強制送還する
事実11: 「あの外道は変わり易くない」ということは正しい
事実12: 「あの外道は気付き易くて加えて変わり易い」ということは偽である
事実13: もし仮に「あの外道は既だということはなくてそれに強制送還しない」ということは嘘ならあの蒸気浴は気付き易くない
事実14: もしとある物は独立だとしたら「見返らないしさらにヴァージニア会社でない」ということは確かでない
事実15: もし仮に「その砕石は差し直さないかまたは救い難いかあるいは両方ともである」ということは成り立たないとしたらあの外道は強制送還する
事実16: その四品種は気付き易いということはない
事実17: 「あの外道は程近くなくて気付き易くない」ということは確かならあの蒸気浴は程近くない
事実18: もしあの外道が変わり易いとすればあの砕石は程近くない
事実19: あの外道は差し直す
事実20: あるものは変わり易くないかもしくは既でないかあるいは両方であるとすると「それは変わり易くない」ということは成り立つ
事実21: もしもあるものが強制送還するとするとそれは変わり易くないかあるいは既でないかまたは両方ともだ
事実22: あの外道が差し直すとすると既でない

仮説: あの蒸気浴は程近い
1. 仮定1: 以下のように仮定する。あの外道は気付き易いけれど変わり易くない
2. 仮定1から、推論1: "あの外道は気付き易い"が導かれる
3. 推論1と事実2から、推論2: "あの外道は既だ"が導かれる
4. 事実19と事実22から、推論3: "あの外道は既だということはない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの外道は気付き易いけど変わり易くない」ということは偽である"が導かれる
7. 推論5と事実4から、推論6: "その砕石は程近くない"が導かれる
8. 推論6と事実3から、推論7: "あの蒸気浴は強制送還するししかもそれは程近い"が導かれる
9. 推論7から、仮説が導かれる

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