「あの電話台は記録するけれど小煩くない」ということは偽である
fact1: もしとあるものが上がり続けるとすれば記録するしおまけにそれは小煩くない fact2: もしその諸決定が常同運動でないとしたらその交流事業は降参するけど掛け渡さない fact3: もしもこの六月現在が打ち明けるということはないとするとその諸決定は偉いということはなくて請け負わない fact4: この六月現在は打ち明けるということはない fact5: その諸決定は分離し易い fact6: 仮にその交流事業が上がり続けるならシステム間だ fact7: 「とあるものは接近し易くないしまた掛け渡さない」ということは成り立たないとすれば接近し易い fact8: その諸決定は甲高い fact9: 「もし「「あの電話台は接近し易くないし小煩いということはない」ということは偽である」ということは真実であるとするとあの電話台は接近し易い」ということは真実である fact10: もしも分離し易い物は笑い顔だということはないとすれば「それは接近し易くない」ということは確かだ fact11: 仮に何らかのものは降参するが掛け渡さないならそれは甲高いということはない fact12: もし仮にその諸決定は甲高いならば「「それは接近し易くないし掛け渡さない」ということは成り立つ」ということは成り立たない fact13: もし仮になにがしかの物は甲高くないなら「締めっぽくないか接近し易いかまたはどちらもである」ということは偽である fact14: もし「その交流事業は締めっぽくないかもしくは接近し易いかまたは両方ともだ」ということは誤りだとするとあの電話台は笑い顔でない fact15: 仮になんらかの物が笑い顔でないとすればそれはシステム間であるかまたは分離し易いかどちらもだ fact16: 仮にその交流事業が上がり続けないとすればそれは記録しないしその上それは締めっぽい fact17: もし仮にその諸決定が偉くなくて加えて請け負わないとするとそれは常同運動でない fact18: その交流事業がシステム間だとすればあの諸決定は分離し易いけど笑い顔であるということはない fact19: その交流事業は記録しないなら「あの電話台は記録する一方で小煩くない」ということは偽である fact20: なにがしかのものはシステム間であるとしたら上がり続ける fact21: あの電話台はこっくりする
void -> assump1: 以下のように仮定する。その交流事業は上がり続ける; fact6 & assump1 -> int1: その交流事業はシステム間である; int1 & fact18 -> int2: その諸決定は分離し易いが笑い顔でない; fact10 -> int3: 仮にその諸決定が分離し易いがそれは笑い顔でないとするとそれは接近し易くない; int2 & int3 -> int4: その諸決定は接近し易くない; fact12 & fact8 -> int5: 「その諸決定は接近し易いということはないしさらに掛け渡さない」ということは間違っている; fact7 -> int6: もし「その諸決定は接近し易くないし加えてそれは掛け渡さない」ということは成り立たないとすると「それは接近し易い」ということは事実である; int5 & int6 -> int7: 「その諸決定は接近し易い」ということは本当だ; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その交流事業は上がり続けない; int9 & fact16 -> int10: その交流事業は記録しない一方で締めっぽい; int10 -> int11: その交流事業は記録するということはない; int11 & fact19 -> hypothesis;
あの電話台は記録するけど小煩くない
fact29 -> int12: 仮にあの電話台が上がり続けるとしたらそれは記録するし小煩くない; fact23 -> int13: もしもあの電話台は笑い顔でないとしたらシステム間であるかまたは分離し易いか両方ともである; fact26 -> int14: 「その交流事業は甲高くない」ということは成り立つなら「それは締めっぽくないかもしくは接近し易いかまたは両方ともだ」ということは事実と異なる; fact22 -> int15: もしもその交流事業は降参するがしかし掛け渡さないならそれは甲高いということはない; fact25 & fact30 -> int16: その諸決定は偉くないし加えて請け負わない; fact28 & int16 -> int17: その諸決定は常同運動でない; fact31 & int17 -> int18: その交流事業は降参するけれど掛け渡すということはない; int15 & int18 -> int19: 「その交流事業は甲高くない」ということは成り立つ; int14 & int19 -> int20: 「その交流事業は締めっぽいということはないかあるいは接近し易いかもしくは両方ともだ」ということは誤りである; fact27 & int20 -> int21: 「あの電話台は笑い顔だということはない」ということは成り立つ; int13 & int21 -> int22: あの電話台はシステム間であるか分離し易いかもしくは両方ともである; fact24 -> int23: 仮にあの電話台はシステム間だとすると「上がり続ける」ということは成り立つ;
$facts$ = fact1: もしとあるものが上がり続けるとすれば記録するしおまけにそれは小煩くない fact2: もしその諸決定が常同運動でないとしたらその交流事業は降参するけど掛け渡さない fact3: もしもこの六月現在が打ち明けるということはないとするとその諸決定は偉いということはなくて請け負わない fact4: この六月現在は打ち明けるということはない fact5: その諸決定は分離し易い fact6: 仮にその交流事業が上がり続けるならシステム間だ fact7: 「とあるものは接近し易くないしまた掛け渡さない」ということは成り立たないとすれば接近し易い fact8: その諸決定は甲高い fact9: 「もし「「あの電話台は接近し易くないし小煩いということはない」ということは偽である」ということは真実であるとするとあの電話台は接近し易い」ということは真実である fact10: もしも分離し易い物は笑い顔だということはないとすれば「それは接近し易くない」ということは確かだ fact11: 仮に何らかのものは降参するが掛け渡さないならそれは甲高いということはない fact12: もし仮にその諸決定は甲高いならば「「それは接近し易くないし掛け渡さない」ということは成り立つ」ということは成り立たない fact13: もし仮になにがしかの物は甲高くないなら「締めっぽくないか接近し易いかまたはどちらもである」ということは偽である fact14: もし「その交流事業は締めっぽくないかもしくは接近し易いかまたは両方ともだ」ということは誤りだとするとあの電話台は笑い顔でない fact15: 仮になんらかの物が笑い顔でないとすればそれはシステム間であるかまたは分離し易いかどちらもだ fact16: 仮にその交流事業が上がり続けないとすればそれは記録しないしその上それは締めっぽい fact17: もし仮にその諸決定が偉くなくて加えて請け負わないとするとそれは常同運動でない fact18: その交流事業がシステム間だとすればあの諸決定は分離し易いけど笑い顔であるということはない fact19: その交流事業は記録しないなら「あの電話台は記録する一方で小煩くない」ということは偽である fact20: なにがしかのものはシステム間であるとしたら上がり続ける fact21: あの電話台はこっくりする ; $hypothesis$ = 「あの電話台は記録するけれど小煩くない」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。その交流事業は上がり続ける; fact6 & assump1 -> int1: その交流事業はシステム間である; int1 & fact18 -> int2: その諸決定は分離し易いが笑い顔でない; fact10 -> int3: 仮にその諸決定が分離し易いがそれは笑い顔でないとするとそれは接近し易くない; int2 & int3 -> int4: その諸決定は接近し易くない; fact12 & fact8 -> int5: 「その諸決定は接近し易いということはないしさらに掛け渡さない」ということは間違っている; fact7 -> int6: もし「その諸決定は接近し易くないし加えてそれは掛け渡さない」ということは成り立たないとすると「それは接近し易い」ということは事実である; int5 & int6 -> int7: 「その諸決定は接近し易い」ということは本当だ; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その交流事業は上がり続けない; int9 & fact16 -> int10: その交流事業は記録しない一方で締めっぽい; int10 -> int11: その交流事業は記録するということはない; int11 & fact19 -> hypothesis; __PROVED__
事実1: もしとあるものが上がり続けるとすれば記録するしおまけにそれは小煩くない
事実2: もしその諸決定が常同運動でないとしたらその交流事業は降参するけど掛け渡さない
事実3: もしもこの六月現在が打ち明けるということはないとするとその諸決定は偉いということはなくて請け負わない
事実4: この六月現在は打ち明けるということはない
事実5: その諸決定は分離し易い
事実6: 仮にその交流事業が上がり続けるならシステム間だ
事実7: 「とあるものは接近し易くないしまた掛け渡さない」ということは成り立たないとすれば接近し易い
事実8: その諸決定は甲高い
事実9: 「もし「「あの電話台は接近し易くないし小煩いということはない」ということは偽である」ということは真実であるとするとあの電話台は接近し易い」ということは真実である
事実10: もしも分離し易い物は笑い顔だということはないとすれば「それは接近し易くない」ということは確かだ
事実11: 仮に何らかのものは降参するが掛け渡さないならそれは甲高いということはない
事実12: もし仮にその諸決定は甲高いならば「「それは接近し易くないし掛け渡さない」ということは成り立つ」ということは成り立たない
事実13: もし仮になにがしかの物は甲高くないなら「締めっぽくないか接近し易いかまたはどちらもである」ということは偽である
事実14: もし「その交流事業は締めっぽくないかもしくは接近し易いかまたは両方ともだ」ということは誤りだとするとあの電話台は笑い顔でない
事実15: 仮になんらかの物が笑い顔でないとすればそれはシステム間であるかまたは分離し易いかどちらもだ
事実16: 仮にその交流事業が上がり続けないとすればそれは記録しないしその上それは締めっぽい
事実17: もし仮にその諸決定が偉くなくて加えて請け負わないとするとそれは常同運動でない
事実18: その交流事業がシステム間だとすればあの諸決定は分離し易いけど笑い顔であるということはない
事実19: その交流事業は記録しないなら「あの電話台は記録する一方で小煩くない」ということは偽である
事実20: なにがしかのものはシステム間であるとしたら上がり続ける
事実21: あの電話台はこっくりする

仮説: 「あの電話台は記録するけれど小煩くない」ということは偽である
1. 仮定1: 以下のように仮定する。その交流事業は上がり続ける
2. 事実6と仮定1から、推論1: "その交流事業はシステム間である"が導かれる
3. 推論1と事実18から、推論2: "その諸決定は分離し易いが笑い顔でない"が導かれる
4. 事実10から、推論3: "仮にその諸決定が分離し易いがそれは笑い顔でないとするとそれは接近し易くない"が導かれる
5. 推論2と推論3から、推論4: "その諸決定は接近し易くない"が導かれる
6. 事実12と事実8から、推論5: "「その諸決定は接近し易いということはないしさらに掛け渡さない」ということは間違っている"が導かれる
7. 事実7から、推論6: "もし「その諸決定は接近し易くないし加えてそれは掛け渡さない」ということは成り立たないとすると「それは接近し易い」ということは事実である"が導かれる
8. 推論5と推論6から、推論7: "「その諸決定は接近し易い」ということは本当だ"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "その交流事業は上がり続けない"が導かれる
11. 推論9と事実16から、推論10: "その交流事業は記録しない一方で締めっぽい"が導かれる
12. 推論10から、推論11: "その交流事業は記録するということはない"が導かれる
13. 推論11と事実19から、仮説が導かれる

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