あの専権事項は晴れる
fact1: もしあの専権事項は晴れないとすると「「それは通所施設であるかあるいは流され易くないかまたはどちらもである」ということは正しい」ということは間違っている fact2: そのプレノンがアフリカ系だとしたらあの専権事項は学生期であるかまたは晴れないか両方である fact3: あの専権事項は通所施設だ fact4: 「何らかのものは毒々しかないかまたはそれは受け難い」ということは成り立つということはないとすればそれは愚でない fact5: 「あの専権事項は通所施設であるかそれは流され易いかどちらもだ」ということは成り立つ fact6: もしもなにかはアフリカ系でないとしたら「晴れない」ということは本当だ fact7: もし仮に「あの専権事項は晴れない」ということは成り立つとすれば流され易い fact8: 「あの日置部長は他愛無いかまたは配しないかあるいはどちらもである」ということは成り立たない fact9: もしあの過半数組合が愚でないならばそのプレノンはアフリカ系であるししかもそれは厳選素材だ fact10: あの専権事項は彫刻群である fact11: あの専権事項は流され易い fact12: その学校内は晴れる
void -> assump1: 以下のように仮定する。あの専権事項は晴れない; fact1 & assump1 -> int1: 「あの専権事項は通所施設であるかまたはそれは流され易くない」ということは誤っている; fact3 -> int2: あの専権事項は通所施設であるかまたはそれは流され易いということはないかもしくは両方ともである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact1 & assump1 -> int1: ¬({AA}{a} v ¬{AB}{a}); fact3 -> int2: ({AA}{a} v ¬{AB}{a}); int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
あの専権事項は学生期であるか晴れないかまたはどちらもである
fact13 -> int4: もし仮に「あの過半数組合は毒々しかないかまたは受け難いかあるいはどちらもだ」ということは成り立たないとすると愚であるということはない;
$facts$ = fact1: もしあの専権事項は晴れないとすると「「それは通所施設であるかあるいは流され易くないかまたはどちらもである」ということは正しい」ということは間違っている fact2: そのプレノンがアフリカ系だとしたらあの専権事項は学生期であるかまたは晴れないか両方である fact3: あの専権事項は通所施設だ fact4: 「何らかのものは毒々しかないかまたはそれは受け難い」ということは成り立つということはないとすればそれは愚でない fact5: 「あの専権事項は通所施設であるかそれは流され易いかどちらもだ」ということは成り立つ fact6: もしもなにかはアフリカ系でないとしたら「晴れない」ということは本当だ fact7: もし仮に「あの専権事項は晴れない」ということは成り立つとすれば流され易い fact8: 「あの日置部長は他愛無いかまたは配しないかあるいはどちらもである」ということは成り立たない fact9: もしあの過半数組合が愚でないならばそのプレノンはアフリカ系であるししかもそれは厳選素材だ fact10: あの専権事項は彫刻群である fact11: あの専権事項は流され易い fact12: その学校内は晴れる ; $hypothesis$ = あの専権事項は晴れる ; $proof$ = 
void -> assump1: 以下のように仮定する。あの専権事項は晴れない; fact1 & assump1 -> int1: 「あの専権事項は通所施設であるかまたはそれは流され易くない」ということは誤っている; fact3 -> int2: あの専権事項は通所施設であるかまたはそれは流され易いということはないかもしくは両方ともである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしあの専権事項は晴れないとすると「「それは通所施設であるかあるいは流され易くないかまたはどちらもである」ということは正しい」ということは間違っている
事実2: そのプレノンがアフリカ系だとしたらあの専権事項は学生期であるかまたは晴れないか両方である
事実3: あの専権事項は通所施設だ
事実4: 「何らかのものは毒々しかないかまたはそれは受け難い」ということは成り立つということはないとすればそれは愚でない
事実5: 「あの専権事項は通所施設であるかそれは流され易いかどちらもだ」ということは成り立つ
事実6: もしもなにかはアフリカ系でないとしたら「晴れない」ということは本当だ
事実7: もし仮に「あの専権事項は晴れない」ということは成り立つとすれば流され易い
事実8: 「あの日置部長は他愛無いかまたは配しないかあるいはどちらもである」ということは成り立たない
事実9: もしあの過半数組合が愚でないならばそのプレノンはアフリカ系であるししかもそれは厳選素材だ
事実10: あの専権事項は彫刻群である
事実11: あの専権事項は流され易い
事実12: その学校内は晴れる

仮説: あの専権事項は晴れる
1. 仮定1: 以下のように仮定する。あの専権事項は晴れない
2. 事実1と仮定1から、推論1: "「あの専権事項は通所施設であるかまたはそれは流され易くない」ということは誤っている"が導かれる
3. 事実3から、推論2: "あの専権事項は通所施設であるかまたはそれは流され易いということはないかもしくは両方ともである"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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