もし仮にこの案内状はごわつくとすれば「「あの上辺りは嘘っぽくないし更に合併浄化槽であるということはない」ということは成り立つということはない」ということは成り立つ
fact1: 「この案内状は合併浄化槽であるとしたら「あの上辺りは嘘っぽくないしさらにごわつかない」ということは間違いだ」ということは嘘でない fact2: あの上辺りはごわつかない fact3: 「あの上辺りは嘘っぽいけれど合併浄化槽だということはない」ということは間違いである fact4: もし「なんらかの物はごわつかない」ということは本当であるならば「それは合併浄化槽であるしかつ嘘っぽい」ということは偽だ fact5: この案内状は合併浄化槽でない fact6: あの上辺りが合併浄化槽でないならこの案内状はごわつく fact7: もしあの上辺りは嘘っぽいとしたら「この案内状はごわつかなくて合併浄化槽でない」ということは本当でない fact8: あの上辺りはごわつかなくてその上嘘っぽくない fact9: 「この案内状は取り次がないしかつごわつかない」ということは事実でない fact10: あの上辺りは嘘っぽくない fact11: 「この案内状はごわつく」ということは成り立つとすれば「あの上辺りは嘘っぽい一方で合併浄化槽でない」ということは間違っている fact12: 仮にこの案内状はごわつくとすると「あの上辺りは嘘っぽくないけど合併浄化槽だ」ということは間違いである fact13: もしあの上辺りが合併浄化槽だとするとこの案内状はごわつかない fact14: 「あの上辺りは嘘っぽくないし加えてごわつかない」ということは本当だ fact15: この案内状は嘘っぽい fact16: もし「あの上辺りは合併浄化槽でない」ということは成り立つとしたらこの案内状はごわつかない fact17: 仮にこの案内状がごわつくとするとあの上辺りは嘘っぽくないし加えて合併浄化槽でない fact18: 「あの上辺りは合併浄化槽であるし嘘っぽい」ということは成り立つということはないとすればこの案内状は合併浄化槽でない fact19: あの上辺りは入賞しなくてそれはごわつかない fact20: あの上辺りはごわつくとすれば「この案内状は合併浄化槽でなくてそれは嘘っぽくない」ということは事実と異なる
void -> assump1: 以下のように仮定する。「あの上辺りは嘘っぽいということはないし合併浄化槽でない」ということは正しい; assump1 -> int1: あの上辺りは合併浄化槽だということはない; int1 & fact16 -> int2: この案内状はごわつかない; void -> assump2: 以下のように仮定する。この案内状はごわつく; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの上辺りは嘘っぽくないしさらに合併浄化槽だということはない」ということは成り立たない; [assump2] & int4 -> hypothesis;
この案内状は合併浄化槽でない
fact21 -> int5: もしもあの上辺りはごわつかないとすると「それは合併浄化槽でそれに嘘っぽい」ということは誤っている;
$facts$ = fact1: 「この案内状は合併浄化槽であるとしたら「あの上辺りは嘘っぽくないしさらにごわつかない」ということは間違いだ」ということは嘘でない fact2: あの上辺りはごわつかない fact3: 「あの上辺りは嘘っぽいけれど合併浄化槽だということはない」ということは間違いである fact4: もし「なんらかの物はごわつかない」ということは本当であるならば「それは合併浄化槽であるしかつ嘘っぽい」ということは偽だ fact5: この案内状は合併浄化槽でない fact6: あの上辺りが合併浄化槽でないならこの案内状はごわつく fact7: もしあの上辺りは嘘っぽいとしたら「この案内状はごわつかなくて合併浄化槽でない」ということは本当でない fact8: あの上辺りはごわつかなくてその上嘘っぽくない fact9: 「この案内状は取り次がないしかつごわつかない」ということは事実でない fact10: あの上辺りは嘘っぽくない fact11: 「この案内状はごわつく」ということは成り立つとすれば「あの上辺りは嘘っぽい一方で合併浄化槽でない」ということは間違っている fact12: 仮にこの案内状はごわつくとすると「あの上辺りは嘘っぽくないけど合併浄化槽だ」ということは間違いである fact13: もしあの上辺りが合併浄化槽だとするとこの案内状はごわつかない fact14: 「あの上辺りは嘘っぽくないし加えてごわつかない」ということは本当だ fact15: この案内状は嘘っぽい fact16: もし「あの上辺りは合併浄化槽でない」ということは成り立つとしたらこの案内状はごわつかない fact17: 仮にこの案内状がごわつくとするとあの上辺りは嘘っぽくないし加えて合併浄化槽でない fact18: 「あの上辺りは合併浄化槽であるし嘘っぽい」ということは成り立つということはないとすればこの案内状は合併浄化槽でない fact19: あの上辺りは入賞しなくてそれはごわつかない fact20: あの上辺りはごわつくとすれば「この案内状は合併浄化槽でなくてそれは嘘っぽくない」ということは事実と異なる ; $hypothesis$ = もし仮にこの案内状はごわつくとすれば「「あの上辺りは嘘っぽくないし更に合併浄化槽であるということはない」ということは成り立つということはない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの上辺りは嘘っぽいということはないし合併浄化槽でない」ということは正しい; assump1 -> int1: あの上辺りは合併浄化槽だということはない; int1 & fact16 -> int2: この案内状はごわつかない; void -> assump2: 以下のように仮定する。この案内状はごわつく; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの上辺りは嘘っぽくないしさらに合併浄化槽だということはない」ということは成り立たない; [assump2] & int4 -> hypothesis; __PROVED__
事実1: 「この案内状は合併浄化槽であるとしたら「あの上辺りは嘘っぽくないしさらにごわつかない」ということは間違いだ」ということは嘘でない
事実2: あの上辺りはごわつかない
事実3: 「あの上辺りは嘘っぽいけれど合併浄化槽だということはない」ということは間違いである
事実4: もし「なんらかの物はごわつかない」ということは本当であるならば「それは合併浄化槽であるしかつ嘘っぽい」ということは偽だ
事実5: この案内状は合併浄化槽でない
事実6: あの上辺りが合併浄化槽でないならこの案内状はごわつく
事実7: もしあの上辺りは嘘っぽいとしたら「この案内状はごわつかなくて合併浄化槽でない」ということは本当でない
事実8: あの上辺りはごわつかなくてその上嘘っぽくない
事実9: 「この案内状は取り次がないしかつごわつかない」ということは事実でない
事実10: あの上辺りは嘘っぽくない
事実11: 「この案内状はごわつく」ということは成り立つとすれば「あの上辺りは嘘っぽい一方で合併浄化槽でない」ということは間違っている
事実12: 仮にこの案内状はごわつくとすると「あの上辺りは嘘っぽくないけど合併浄化槽だ」ということは間違いである
事実13: もしあの上辺りが合併浄化槽だとするとこの案内状はごわつかない
事実14: 「あの上辺りは嘘っぽくないし加えてごわつかない」ということは本当だ
事実15: この案内状は嘘っぽい
事実16: もし「あの上辺りは合併浄化槽でない」ということは成り立つとしたらこの案内状はごわつかない
事実17: 仮にこの案内状がごわつくとするとあの上辺りは嘘っぽくないし加えて合併浄化槽でない
事実18: 「あの上辺りは合併浄化槽であるし嘘っぽい」ということは成り立つということはないとすればこの案内状は合併浄化槽でない
事実19: あの上辺りは入賞しなくてそれはごわつかない
事実20: あの上辺りはごわつくとすれば「この案内状は合併浄化槽でなくてそれは嘘っぽくない」ということは事実と異なる

仮説: もし仮にこの案内状はごわつくとすれば「「あの上辺りは嘘っぽくないし更に合併浄化槽であるということはない」ということは成り立つということはない」ということは成り立つ
1. 仮定1: 以下のように仮定する。「あの上辺りは嘘っぽいということはないし合併浄化槽でない」ということは正しい
2. 仮定1から、推論1: "あの上辺りは合併浄化槽だということはない"が導かれる
3. 推論1と事実16から、推論2: "この案内状はごわつかない"が導かれる
4. 仮定2: 以下のように仮定する。この案内状はごわつく
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "「あの上辺りは嘘っぽくないしさらに合併浄化槽だということはない」ということは成り立たない"が導かれる
7. [仮定2]と推論4から、仮説が導かれる

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