その顧客接点は溶け始めない
fact1: あの祝福家庭は変成するかもしくはそれは弁解がましいかもしくは両方である fact2: もしもあの祝福家庭は二股口でないならば「この二派は二股口でなくて曇らない」ということは嘘である fact3: もしも何らかの物が曇ればそれが変成するかまたは弁解はましくらないかあるいは両方だ fact4: もし仮に「あの四十分頃は無いけれど曇らない」ということは間違いであるとすればこの二派は曇る fact5: もしもこの二派は忍び難いなら「その顧客接点は溶け始める」ということは本当だ fact6: あの祝福家庭は弁解がましい fact7: 全ては弁解がましい fact8: もしもこの二派は曇るなら「それは無い」ということは確かである fact9: この二派は無いとすると「それは忍び難い」ということは確かだ fact10: 何かは増改築するとしたら「こそばゆいかあるいは応援するということはないかもしくは両方である」ということは誤っている fact11: もし仮に「この二派は無くておまけに忍び難い」ということは誤っていれば「その顧客接点は無いということはない」ということは真実だ fact12: あの二十分程度は看護師でない fact13: あの二十分程度が荒々しいとしたらそれは増改築する fact14: もし仮になにかは曇ればそれは無い fact15: もし仮にあの二十分程度が看護師でないとすればそれは荒々しいか掛かり易い fact16: もし仮にこの二派が曇るならその顧客接点は溶け始めない fact17: あの祝福家庭は曇らないなら「この二派は曇らなくて更に二股口でない」ということは事実と異なる fact18: もし仮にあの四十分頃は満遍無くないならば「この二派は無くて更に忍び難い」ということは成り立たない fact19: それは変成するか弁解はましくらないかもしくは両方ともであるというものはない fact20: もし「なんらかの物は曇らないしおまけに二股口でない」ということは間違いであるとすれば無い fact21: この二派が無いならあの祝福家庭は忍び難い fact22: 仮に何かは二股口でないならば「それは無くてさらにそれは曇らない」ということは誤りだ fact23: もし「何らかのものは二股口であるかあるいはそれは曇る」ということは間違いであるならそれは溶け始めない fact24: もし仮にあるものは曇るなら「変成するか弁解がましいかあるいはどちらもである」ということは確かだ
fact3 -> int1: あの祝福家庭が曇るとすると変成するかもしくは弁解がましいということはないかもしくはどちらもだ; void -> assump1: 以下のように仮定する。あの祝福家庭は曇る; int1 & assump1 -> int2: あの祝福家庭は変成するかあるいは弁解がましかない; fact19 -> int3: 「あの祝福家庭が変成するかまたは弁解はましくらない」ということは間違いである; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの祝福家庭は曇らない; int5 & fact17 -> int6: 「この二派は曇るということはなくてかつ二股口でない」ということは誤りだ; fact20 -> int7: 「この二派が曇るということはないしさらに二股口であるということはない」ということは嘘であるとしたら「それは無い」ということは本当だ; int6 & int7 -> int8: この二派は無い; int8 & fact9 -> int9: この二派は忍び難い; int9 & fact5 -> hypothesis;
その顧客接点は溶け始めない
fact27 -> 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: もし「何らかのものは二股口であるかあるいはそれは曇る」ということは間違いであるならそれは溶け始めない fact24: もし仮にあるものは曇るなら「変成するか弁解がましいかあるいはどちらもである」ということは確かだ ; $hypothesis$ = その顧客接点は溶け始めない ; $proof$ = 
fact3 -> int1: あの祝福家庭が曇るとすると変成するかもしくは弁解がましいということはないかもしくはどちらもだ; void -> assump1: 以下のように仮定する。あの祝福家庭は曇る; int1 & assump1 -> int2: あの祝福家庭は変成するかあるいは弁解がましかない; fact19 -> int3: 「あの祝福家庭が変成するかまたは弁解はましくらない」ということは間違いである; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの祝福家庭は曇らない; int5 & fact17 -> int6: 「この二派は曇るということはなくてかつ二股口でない」ということは誤りだ; fact20 -> int7: 「この二派が曇るということはないしさらに二股口であるということはない」ということは嘘であるとしたら「それは無い」ということは本当だ; int6 & int7 -> int8: この二派は無い; int8 & fact9 -> int9: この二派は忍び難い; int9 & fact5 -> 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: もし「何らかのものは二股口であるかあるいはそれは曇る」ということは間違いであるならそれは溶け始めない
事実24: もし仮にあるものは曇るなら「変成するか弁解がましいかあるいはどちらもである」ということは確かだ

仮説: その顧客接点は溶け始めない
1. 事実3から、推論1: "あの祝福家庭が曇るとすると変成するかもしくは弁解がましいということはないかもしくはどちらもだ"が導かれる
2. 仮定1: 以下のように仮定する。あの祝福家庭は曇る
3. 推論1と仮定1から、推論2: "あの祝福家庭は変成するかあるいは弁解がましかない"が導かれる
4. 事実19から、推論3: "「あの祝福家庭が変成するかまたは弁解はましくらない」ということは間違いである"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの祝福家庭は曇らない"が導かれる
7. 推論5と事実17から、推論6: "「この二派は曇るということはなくてかつ二股口でない」ということは誤りだ"が導かれる
8. 事実20から、推論7: "「この二派が曇るということはないしさらに二股口であるということはない」ということは嘘であるとしたら「それは無い」ということは本当だ"が導かれる
9. 推論6と推論7から、推論8: "この二派は無い"が導かれる
10. 推論8と事実9から、推論9: "この二派は忍び難い"が導かれる
11. 推論9と事実5から、仮説が否定される

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