あの嘆きは乱後であるし対抗出来る
fact1: 「あの宗派共存は小暗い一方で大衆闘争でない」ということは成り立たない fact2: もし仮に何かは潔くないとしたら「それは乱後であるしそれに対抗出来る」ということは誤りである fact3: もしあの御水取りは乱後だとすれば「それは調整局面であるけど霊園でない」ということは成り立たない fact4: あの御水取りは潔くない fact5: 「もしもあの御水取りが乱後でないとしたらあの嘆きは乱後でまた対抗出来る」ということは事実だ fact6: 仮に「あの妄想癖は合祀でないがそれは七月中旬である」ということは間違いならそれは身悶えする fact7: もし仮にあの御水取りが潔くないとするとそれは調整局面であるしその上霊園でない
void -> assump1: 以下のように仮定する。あの御水取りは乱後だ; fact3 & assump1 -> int1: 「あの御水取りは調整局面だがしかし霊園でない」ということは成り立たない; fact4 & fact7 -> int2: あの御水取りは調整局面だけれど霊園でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの御水取りは乱後でない; int4 & fact5 -> hypothesis;
「あの嘆きは乱後でそれに対抗出来る」ということは誤りだ
fact9 -> int5: もし仮にあの嘆きは潔くないとすれば「乱後であるしかつ対抗出来る」ということは成り立たない;
$facts$ = fact1: 「あの宗派共存は小暗い一方で大衆闘争でない」ということは成り立たない fact2: もし仮に何かは潔くないとしたら「それは乱後であるしそれに対抗出来る」ということは誤りである fact3: もしあの御水取りは乱後だとすれば「それは調整局面であるけど霊園でない」ということは成り立たない fact4: あの御水取りは潔くない fact5: 「もしもあの御水取りが乱後でないとしたらあの嘆きは乱後でまた対抗出来る」ということは事実だ fact6: 仮に「あの妄想癖は合祀でないがそれは七月中旬である」ということは間違いならそれは身悶えする fact7: もし仮にあの御水取りが潔くないとするとそれは調整局面であるしその上霊園でない ; $hypothesis$ = あの嘆きは乱後であるし対抗出来る ; $proof$ = 
void -> assump1: 以下のように仮定する。あの御水取りは乱後だ; fact3 & assump1 -> int1: 「あの御水取りは調整局面だがしかし霊園でない」ということは成り立たない; fact4 & fact7 -> int2: あの御水取りは調整局面だけれど霊園でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの御水取りは乱後でない; int4 & fact5 -> hypothesis; __PROVED__
事実1: 「あの宗派共存は小暗い一方で大衆闘争でない」ということは成り立たない
事実2: もし仮に何かは潔くないとしたら「それは乱後であるしそれに対抗出来る」ということは誤りである
事実3: もしあの御水取りは乱後だとすれば「それは調整局面であるけど霊園でない」ということは成り立たない
事実4: あの御水取りは潔くない
事実5: 「もしもあの御水取りが乱後でないとしたらあの嘆きは乱後でまた対抗出来る」ということは事実だ
事実6: 仮に「あの妄想癖は合祀でないがそれは七月中旬である」ということは間違いならそれは身悶えする
事実7: もし仮にあの御水取りが潔くないとするとそれは調整局面であるしその上霊園でない

仮説: あの嘆きは乱後であるし対抗出来る
1. 仮定1: 以下のように仮定する。あの御水取りは乱後だ
2. 事実3と仮定1から、推論1: "「あの御水取りは調整局面だがしかし霊園でない」ということは成り立たない"が導かれる
3. 事実4と事実7から、推論2: "あの御水取りは調整局面だけれど霊園でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの御水取りは乱後でない"が導かれる
6. 推論4と事実5から、仮説が導かれる

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