この機能的要因は惨めったらしいということはない
fact1: 「破かないし赤っぽい」ものはある fact2: もしなんらかの物が肯認しないとしたら当該提供するかまたは放出出来ないかまたは両方ともである fact3: 仮に「肯認する」物があるとするとこの機能的要因は当該提供するということはない fact4: 仮にこの審査担当者が放出出来るならそのヨルダン・ハシミテ王国は放出出来る fact5: 仮にこの機能的要因は惨めったらしいならば「それは当該提供する」ということは本当だ fact6: 「「放出出来なくてまた肯認するということはない」ということは誤りな」ものはある fact7: もし仮にあるものは放出出来るとすれば「惨めったらしくないし当該提供しない」ということは事実と異なる fact8: なんらかの物は惨めったらしくないしその上当該提供しない fact9: 「この江戸談林派は疾しけれど赤っぽくない」ということは成り立たないとすれば綴る fact10: もしも何かは綴るとすれば「女の子らしいけれど肯認しない」ということは偽である fact11: ある物は放出出来ないししかもそれは肯認しない fact12: もしも何かは破かない一方で赤っぽいとするとこの審査担当者は綴らない fact13: 「「当該提供するし惨めったらしくない」ということは成り立たない」ものはある fact14: この在宅療養者は破かないなら「「この江戸談林派は疾しが赤っぽくない」ということは本当である」ということは嘘である fact15: 「「放出出来なくておまけに肯認しない」ということは成り立たない」ものがあるとしたらこの機能的要因は当該提供しない fact16: もし「そのヨルダン・ハシミテ王国は惨めったらしくないしその上それは当該提供するということはない」ということは嘘だとするとこの機能的要因は所属政党でない
void -> assump1: 以下のように仮定する。この機能的要因は惨めったらしい; fact5 & assump1 -> int1: この機能的要因は当該提供する; fact15 & fact6 -> int2: この機能的要因は当該提供するということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{a}; fact15 & fact6 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
この機能的要因は惨めったらしい
fact19 -> int4: もし仮にそのヨルダン・ハシミテ王国が肯認しないとするとそれは当該提供するかもしくは放出出来ない; fact18 & fact17 -> int5: この審査担当者は綴らない;
$facts$ = fact1: 「破かないし赤っぽい」ものはある fact2: もしなんらかの物が肯認しないとしたら当該提供するかまたは放出出来ないかまたは両方ともである fact3: 仮に「肯認する」物があるとするとこの機能的要因は当該提供するということはない fact4: 仮にこの審査担当者が放出出来るならそのヨルダン・ハシミテ王国は放出出来る fact5: 仮にこの機能的要因は惨めったらしいならば「それは当該提供する」ということは本当だ fact6: 「「放出出来なくてまた肯認するということはない」ということは誤りな」ものはある fact7: もし仮にあるものは放出出来るとすれば「惨めったらしくないし当該提供しない」ということは事実と異なる fact8: なんらかの物は惨めったらしくないしその上当該提供しない fact9: 「この江戸談林派は疾しけれど赤っぽくない」ということは成り立たないとすれば綴る fact10: もしも何かは綴るとすれば「女の子らしいけれど肯認しない」ということは偽である fact11: ある物は放出出来ないししかもそれは肯認しない fact12: もしも何かは破かない一方で赤っぽいとするとこの審査担当者は綴らない fact13: 「「当該提供するし惨めったらしくない」ということは成り立たない」ものはある fact14: この在宅療養者は破かないなら「「この江戸談林派は疾しが赤っぽくない」ということは本当である」ということは嘘である fact15: 「「放出出来なくておまけに肯認しない」ということは成り立たない」ものがあるとしたらこの機能的要因は当該提供しない fact16: もし「そのヨルダン・ハシミテ王国は惨めったらしくないしその上それは当該提供するということはない」ということは嘘だとするとこの機能的要因は所属政党でない ; $hypothesis$ = この機能的要因は惨めったらしいということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この機能的要因は惨めったらしい; fact5 & assump1 -> int1: この機能的要因は当該提供する; fact15 & fact6 -> int2: この機能的要因は当該提供するということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「破かないし赤っぽい」ものはある
事実2: もしなんらかの物が肯認しないとしたら当該提供するかまたは放出出来ないかまたは両方ともである
事実3: 仮に「肯認する」物があるとするとこの機能的要因は当該提供するということはない
事実4: 仮にこの審査担当者が放出出来るならそのヨルダン・ハシミテ王国は放出出来る
事実5: 仮にこの機能的要因は惨めったらしいならば「それは当該提供する」ということは本当だ
事実6: 「「放出出来なくてまた肯認するということはない」ということは誤りな」ものはある
事実7: もし仮にあるものは放出出来るとすれば「惨めったらしくないし当該提供しない」ということは事実と異なる
事実8: なんらかの物は惨めったらしくないしその上当該提供しない
事実9: 「この江戸談林派は疾しけれど赤っぽくない」ということは成り立たないとすれば綴る
事実10: もしも何かは綴るとすれば「女の子らしいけれど肯認しない」ということは偽である
事実11: ある物は放出出来ないししかもそれは肯認しない
事実12: もしも何かは破かない一方で赤っぽいとするとこの審査担当者は綴らない
事実13: 「「当該提供するし惨めったらしくない」ということは成り立たない」ものはある
事実14: この在宅療養者は破かないなら「「この江戸談林派は疾しが赤っぽくない」ということは本当である」ということは嘘である
事実15: 「「放出出来なくておまけに肯認しない」ということは成り立たない」ものがあるとしたらこの機能的要因は当該提供しない
事実16: もし「そのヨルダン・ハシミテ王国は惨めったらしくないしその上それは当該提供するということはない」ということは嘘だとするとこの機能的要因は所属政党でない

仮説: この機能的要因は惨めったらしいということはない
1. 仮定1: 以下のように仮定する。この機能的要因は惨めったらしい
2. 事実5と仮定1から、推論1: "この機能的要因は当該提供する"が導かれる
3. 事実15と事実6から、推論2: "この機能的要因は当該提供するということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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