「「慎み深いかあるいは偉いかもしくは両方だ」ということは成り立たない」物はある
fact1: もし「何らかの物は見極め難いけどそれは慎み深くない」ということは成り立つということはないとしたら「それは見極め難くない」ということは事実である fact2: もし仮に「その淡路丸偽電事件は見極め難くない」ということは本当であるとしたら「この国際連合は服務すかあるいは射出すかまたは両方ともである」ということは成り立たない fact3: もしもそのレカロ・シートは激賞するということはないならば「あの巻タバコは作り変えるしそれは五十万人である」ということは誤りだ fact4: あの中小企業退職金共済法は法条順でない fact5: 仮にあの巻タバコは偉くないならば「その淡路丸偽電事件は見極め難い一方で慎み深くない」ということは間違っている fact6: 踊り回るということはなくて更に法条順だという物はない fact7: 十四校であるし激賞するという物はない fact8: もしこの国際連合は見極め難くないならば「あの巻タバコは慎み深いかあるいは偉いかあるいはどちらもだ」ということは成り立たない fact9: もしも何らかの物がＳ座標でないとすればそれは偉くない fact10: 仮に「とあるものが十四校だしおまけにそれは激賞する」ということは成り立たないとしたら「激賞しない」ということは本当だ fact11: もし仮に「なにかは作り変えるし五十万人である」ということは誤りであるとするとＳ座標でない fact12: もしこの国際連合が見極め難いならばその淡路丸偽電事件は踊り回らないけど法条順である fact13: 「慎み深いかもしくは偉い」物はある
void -> assump1: 以下のように仮定する。この国際連合は見極め難い; fact12 & assump1 -> int1: その淡路丸偽電事件は踊り回らないが法条順である; fact6 -> int2: 「その淡路丸偽電事件は踊り回るということはない一方で法条順だ」ということは確かでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この国際連合は見極め難くない; int4 & fact8 -> int5: 「あの巻タバコは慎み深いかあるいは偉いか両方だ」ということは真実でない; int5 -> hypothesis;
「「服務すかまたは射出すかもしくはどちらもである」ということは誤りな」ものはある
fact14 -> int6: もし仮にあの巻タバコはＳ座標だということはないとすると「「それは偉い」ということは嘘でない」ということは偽だ; fact20 -> int7: 「あの表組みは十四校であるしかつ激賞する」ということは偽である; fact19 -> int8: 仮に「あの表組みは十四校であるしおまけにそれは激賞する」ということは間違いであるならそれは激賞しない; int7 & int8 -> int9: あの表組みは激賞しない; int9 -> int10: 全てのものは激賞しない; int10 -> int11: そのレカロ・シートは激賞しない; int11 & fact21 -> int12: 「あの巻タバコは作り変えるしそれに五十万人である」ということは偽だ; fact15 -> int13: 「あの巻タバコは作り変えるしかつそれは五十万人である」ということは真実でないとすれば「それはＳ座標でない」ということは確かである; int12 & int13 -> int14: あの巻タバコはＳ座標でない; int6 & int14 -> int15: あの巻タバコは偉くない; fact17 & int15 -> int16: 「その淡路丸偽電事件は見極め難い一方で慎み深くない」ということは嘘である; fact16 -> int17: もしも「その淡路丸偽電事件は見極め難いが慎み深くない」ということは事実だということはないならそれは見極め難くない; int16 & int17 -> int18: その淡路丸偽電事件は見極め難いということはない; int18 & fact18 -> int19: 「この国際連合は服務すかそれは射出すかまたはどちらもである」ということは成り立つということはない; int19 -> hypothesis;
$facts$ = fact1: もし「何らかの物は見極め難いけどそれは慎み深くない」ということは成り立つということはないとしたら「それは見極め難くない」ということは事実である fact2: もし仮に「その淡路丸偽電事件は見極め難くない」ということは本当であるとしたら「この国際連合は服務すかあるいは射出すかまたは両方ともである」ということは成り立たない fact3: もしもそのレカロ・シートは激賞するということはないならば「あの巻タバコは作り変えるしそれは五十万人である」ということは誤りだ fact4: あの中小企業退職金共済法は法条順でない fact5: 仮にあの巻タバコは偉くないならば「その淡路丸偽電事件は見極め難い一方で慎み深くない」ということは間違っている fact6: 踊り回るということはなくて更に法条順だという物はない fact7: 十四校であるし激賞するという物はない fact8: もしこの国際連合は見極め難くないならば「あの巻タバコは慎み深いかあるいは偉いかあるいはどちらもだ」ということは成り立たない fact9: もしも何らかの物がＳ座標でないとすればそれは偉くない fact10: 仮に「とあるものが十四校だしおまけにそれは激賞する」ということは成り立たないとしたら「激賞しない」ということは本当だ fact11: もし仮に「なにかは作り変えるし五十万人である」ということは誤りであるとするとＳ座標でない fact12: もしこの国際連合が見極め難いならばその淡路丸偽電事件は踊り回らないけど法条順である fact13: 「慎み深いかもしくは偉い」物はある ; $hypothesis$ = 「「慎み深いかあるいは偉いかもしくは両方だ」ということは成り立たない」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。この国際連合は見極め難い; fact12 & assump1 -> int1: その淡路丸偽電事件は踊り回らないが法条順である; fact6 -> int2: 「その淡路丸偽電事件は踊り回るということはない一方で法条順だ」ということは確かでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この国際連合は見極め難くない; int4 & fact8 -> int5: 「あの巻タバコは慎み深いかあるいは偉いか両方だ」ということは真実でない; int5 -> hypothesis; __PROVED__
事実1: もし「何らかの物は見極め難いけどそれは慎み深くない」ということは成り立つということはないとしたら「それは見極め難くない」ということは事実である
事実2: もし仮に「その淡路丸偽電事件は見極め難くない」ということは本当であるとしたら「この国際連合は服務すかあるいは射出すかまたは両方ともである」ということは成り立たない
事実3: もしもそのレカロ・シートは激賞するということはないならば「あの巻タバコは作り変えるしそれは五十万人である」ということは誤りだ
事実4: あの中小企業退職金共済法は法条順でない
事実5: 仮にあの巻タバコは偉くないならば「その淡路丸偽電事件は見極め難い一方で慎み深くない」ということは間違っている
事実6: 踊り回るということはなくて更に法条順だという物はない
事実7: 十四校であるし激賞するという物はない
事実8: もしこの国際連合は見極め難くないならば「あの巻タバコは慎み深いかあるいは偉いかあるいはどちらもだ」ということは成り立たない
事実9: もしも何らかの物がＳ座標でないとすればそれは偉くない
事実10: 仮に「とあるものが十四校だしおまけにそれは激賞する」ということは成り立たないとしたら「激賞しない」ということは本当だ
事実11: もし仮に「なにかは作り変えるし五十万人である」ということは誤りであるとするとＳ座標でない
事実12: もしこの国際連合が見極め難いならばその淡路丸偽電事件は踊り回らないけど法条順である
事実13: 「慎み深いかもしくは偉い」物はある

仮説: 「「慎み深いかあるいは偉いかもしくは両方だ」ということは成り立たない」物はある
1. 仮定1: 以下のように仮定する。この国際連合は見極め難い
2. 事実12と仮定1から、推論1: "その淡路丸偽電事件は踊り回らないが法条順である"が導かれる
3. 事実6から、推論2: "「その淡路丸偽電事件は踊り回るということはない一方で法条順だ」ということは確かでない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この国際連合は見極め難くない"が導かれる
6. 推論4と事実8から、推論5: "「あの巻タバコは慎み深いかあるいは偉いか両方だ」ということは真実でない"が導かれる
7. 推論5から、仮説が導かれる

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