「この固有必要的共同訴訟は為る」ということは間違いでないとしたら「この真北は取り組み易い一方で黴臭くない」ということは誤りである
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 & fact5 -> int2: この固有必要的共同訴訟は為らない; void -> assump2: 以下のように仮定する。この固有必要的共同訴訟は為る; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの殿屋敷は強過ぎないかまたは責めるかあるいは両方である; fact9 -> int5: 「あの殿屋敷は強過ぎないかまたは責めるかあるいは両方ともである」ということは確かであるなら寒ーくない; int4 & int5 -> int6: あの殿屋敷は寒ーいということはない; int6 & fact7 -> int7: 「その町娘は動揺し易くないし更に洗顔しない」ということは嘘である; fact16 -> int8: もしも「その町娘は動揺し易くないししかもそれは洗顔しない」ということは間違っているとするとそれは振り撒くということはない; int7 & int8 -> int9: その町娘は振り撒くということはない; int9 & fact11 -> int10: 「この真北は取り組み易いけど黴臭くない」ということは成り立たない; [assump2] & int10 -> hypothesis;
$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 & fact5 -> int2: この固有必要的共同訴訟は為らない; void -> assump2: 以下のように仮定する。この固有必要的共同訴訟は為る; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの殿屋敷は強過ぎないかまたは責めるかあるいは両方である; fact9 -> int5: 「あの殿屋敷は強過ぎないかまたは責めるかあるいは両方ともである」ということは確かであるなら寒ーくない; int4 & int5 -> int6: あの殿屋敷は寒ーいということはない; int6 & fact7 -> int7: 「その町娘は動揺し易くないし更に洗顔しない」ということは嘘である; fact16 -> int8: もしも「その町娘は動揺し易くないししかもそれは洗顔しない」ということは間違っているとするとそれは振り撒くということはない; int7 & int8 -> int9: その町娘は振り撒くということはない; int9 & fact11 -> int10: 「この真北は取り組み易いけど黴臭くない」ということは成り立たない; [assump2] & int10 -> 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と事実5から、推論2: "この固有必要的共同訴訟は為らない"が導かれる
4. 仮定2: 以下のように仮定する。この固有必要的共同訴訟は為る
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "あの殿屋敷は強過ぎないかまたは責めるかあるいは両方である"が導かれる
7. 事実9から、推論5: "「あの殿屋敷は強過ぎないかまたは責めるかあるいは両方ともである」ということは確かであるなら寒ーくない"が導かれる
8. 推論4と推論5から、推論6: "あの殿屋敷は寒ーいということはない"が導かれる
9. 推論6と事実7から、推論7: "「その町娘は動揺し易くないし更に洗顔しない」ということは嘘である"が導かれる
10. 事実16から、推論8: "もしも「その町娘は動揺し易くないししかもそれは洗顔しない」ということは間違っているとするとそれは振り撒くということはない"が導かれる
11. 推論7と推論8から、推論9: "その町娘は振り撒くということはない"が導かれる
12. 推論9と事実11から、推論10: "「この真北は取り組み易いけど黴臭くない」ということは成り立たない"が導かれる
13. [仮定2]と推論10から、仮説が導かれる

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