「あの着眼点は高額介護サービス費でないがしかしそれはＳＡＮＳだ」ということは事実と異なる
fact1: もしもこの機密漏洩が満遍無いとしたら複文である fact2: 仮にこの機密漏洩が取り掛かり易くておまけに熱し易いとするとあの着眼点は取り掛かり易いということはない fact3: 「この機密漏洩は満遍無いということはなくてかつそれは振り立てない」ということは誤りだ fact4: この布巾は高額介護サービス費でない fact5: 「なにかは満遍無くなくて振り立てない」ということは事実だということはないならばそれは満遍無い fact6: なんらかの物が取り掛かり易くないとしたらそれは高額介護サービス費でなくてＳＡＮＳである fact7: 「「熱し易くない一方で取り掛かり易い」ということは事実と異なる」物はある fact8: 「複文は取り掛かり易い」ということは成り立つ fact9: もし仮にこの機密漏洩は高額介護サービス費でないとすると「あの着眼点は高額介護サービス費でないがしかしＳＡＮＳだ」ということは誤りだ fact10: 「「熱し易いということはない一方で取り掛かり易い」ということは真実でない」ものがあるならこの七フレーム目は取り掛かり易くない fact11: もし「「高額介護サービス費でなくてしかもＳＡＮＳである」ということは偽な」物はあるとすると「この機密漏洩はＳＡＮＳでない」ということは確かである fact12: 仮にこの機密漏洩が高額介護サービス費ならばこの七フレーム目は取り掛かり易い
void -> assump1: 以下のように仮定する。「この機密漏洩は高額介護サービス費だ」ということは成り立つ; fact12 & assump1 -> int1: 「この七フレーム目は取り掛かり易い」ということは事実である; fact10 & fact7 -> int2: この七フレーム目は取り掛かり易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この機密漏洩は高額介護サービス費でない; int4 & fact9 -> hypothesis;
あの着眼点は高額介護サービス費でないがＳＡＮＳだ
fact18 -> int5: もし仮にあの着眼点が取り掛かり易くないとすればそれは高額介護サービス費でないけれどＳＡＮＳである; fact17 -> int6: この機密漏洩が複文ならば取り掛かり易い; fact16 -> int7: 「「この機密漏洩は満遍無いということはないし振り立てない」ということは成り立つ」ということは誤っているとしたら満遍無い; int7 & fact13 -> int8: この機密漏洩は満遍無い; fact15 & int8 -> int9: この機密漏洩は複文だ; int6 & int9 -> int10: この機密漏洩は取り掛かり易い;
$facts$ = fact1: もしもこの機密漏洩が満遍無いとしたら複文である fact2: 仮にこの機密漏洩が取り掛かり易くておまけに熱し易いとするとあの着眼点は取り掛かり易いということはない fact3: 「この機密漏洩は満遍無いということはなくてかつそれは振り立てない」ということは誤りだ fact4: この布巾は高額介護サービス費でない fact5: 「なにかは満遍無くなくて振り立てない」ということは事実だということはないならばそれは満遍無い fact6: なんらかの物が取り掛かり易くないとしたらそれは高額介護サービス費でなくてＳＡＮＳである fact7: 「「熱し易くない一方で取り掛かり易い」ということは事実と異なる」物はある fact8: 「複文は取り掛かり易い」ということは成り立つ fact9: もし仮にこの機密漏洩は高額介護サービス費でないとすると「あの着眼点は高額介護サービス費でないがしかしＳＡＮＳだ」ということは誤りだ fact10: 「「熱し易いということはない一方で取り掛かり易い」ということは真実でない」ものがあるならこの七フレーム目は取り掛かり易くない fact11: もし「「高額介護サービス費でなくてしかもＳＡＮＳである」ということは偽な」物はあるとすると「この機密漏洩はＳＡＮＳでない」ということは確かである fact12: 仮にこの機密漏洩が高額介護サービス費ならばこの七フレーム目は取り掛かり易い ; $hypothesis$ = 「あの着眼点は高額介護サービス費でないがしかしそれはＳＡＮＳだ」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。「この機密漏洩は高額介護サービス費だ」ということは成り立つ; fact12 & assump1 -> int1: 「この七フレーム目は取り掛かり易い」ということは事実である; fact10 & fact7 -> int2: この七フレーム目は取り掛かり易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この機密漏洩は高額介護サービス費でない; int4 & fact9 -> hypothesis; __PROVED__
事実1: もしもこの機密漏洩が満遍無いとしたら複文である
事実2: 仮にこの機密漏洩が取り掛かり易くておまけに熱し易いとするとあの着眼点は取り掛かり易いということはない
事実3: 「この機密漏洩は満遍無いということはなくてかつそれは振り立てない」ということは誤りだ
事実4: この布巾は高額介護サービス費でない
事実5: 「なにかは満遍無くなくて振り立てない」ということは事実だということはないならばそれは満遍無い
事実6: なんらかの物が取り掛かり易くないとしたらそれは高額介護サービス費でなくてＳＡＮＳである
事実7: 「「熱し易くない一方で取り掛かり易い」ということは事実と異なる」物はある
事実8: 「複文は取り掛かり易い」ということは成り立つ
事実9: もし仮にこの機密漏洩は高額介護サービス費でないとすると「あの着眼点は高額介護サービス費でないがしかしＳＡＮＳだ」ということは誤りだ
事実10: 「「熱し易いということはない一方で取り掛かり易い」ということは真実でない」ものがあるならこの七フレーム目は取り掛かり易くない
事実11: もし「「高額介護サービス費でなくてしかもＳＡＮＳである」ということは偽な」物はあるとすると「この機密漏洩はＳＡＮＳでない」ということは確かである
事実12: 仮にこの機密漏洩が高額介護サービス費ならばこの七フレーム目は取り掛かり易い

仮説: 「あの着眼点は高額介護サービス費でないがしかしそれはＳＡＮＳだ」ということは事実と異なる
1. 仮定1: 以下のように仮定する。「この機密漏洩は高額介護サービス費だ」ということは成り立つ
2. 事実12と仮定1から、推論1: "「この七フレーム目は取り掛かり易い」ということは事実である"が導かれる
3. 事実10と事実7から、推論2: "この七フレーム目は取り掛かり易くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この機密漏洩は高額介護サービス費でない"が導かれる
6. 推論4と事実9から、仮説が導かれる

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