「この塾生は運営上であるけど御若くない」ということは間違いである
fact1: 「長持ちする」物はある fact2: 「その傾きは常染色体でない一方で厳めしい」ということは成り立つということはない fact3: 仮に「この受託協会国際放送は運営上であるしそれは再生性だ」ということは嘘であるとすれば「この護法尊は運営上であるということはない」ということは本当だ fact4: 「そのワルツは付与しないがしかし就職祝いだ」ということは真実でないとすればそれは中途退学する fact5: その傾きが町会だとしたらそれは繁栄出来る fact6: もしも何らかのものが胸苦しくないかあるいはそれは長持ちするかまたは両方であるとすればそれは再生性でない fact7: もし仮にこの受託協会国際放送が重いとすると再生性だ fact8: この受託協会国際放送は掴み易くない fact9: 「この塾生は運営上であるしそれは御若い」ということは本当であるということはない fact10: この受託協会国際放送は重くないとすれば「この塾生は運営上だ一方で御若くない」ということは誤りだ fact11: もし「再生性でない」物があるならばあの受託協会国際放送はすっごーいかあるいは重いかまたは両方だ fact12: 「もしその傾きが繁栄出来ればその傾きは付与する」ということは事実だ fact13: もしもあるものが中途退学するなら胸苦しくないか長持ちするかもしくは両方だ fact14: 「この塾生は運送先であるししかも御若い」ということは嘘だ fact15: もし仮に「この受託協会国際放送は重くない」ということは誤っていないならば「この塾生は運営上だし御若い」ということは偽だ fact16: 「この塾生は再生性であるししかも運営上である」ということは成り立たない fact17: すっごーくないものは御若くない一方で重い fact18: もし仮に「その傾きは常染色体でない一方で厳めしい」ということは成り立たないならそれは嫉妬深い fact19: 重いものは運営上であるけど御若くない fact20: 嫉妬深いものは町会である fact21: もし「「「付与する」ということは誤りでない」物はある」ということは正しいとすると「そのワルツは付与しないがそれは就職祝いである」ということは本当でない fact22: この受託協会国際放送は再生性でない
void -> assump1: 以下のように仮定する。この受託協会国際放送は重い; fact7 & assump1 -> int1: この受託協会国際放送は再生性だ; int1 & fact22 -> int2: これは矛盾である; [assump1] & int2 -> int3: この受託協会国際放送は重くない; int3 & fact10 -> hypothesis;
この塾生は運営上であるがしかし御若くない
fact26 -> int4: もしもこの塾生が重いならそれは運営上であるが御若くない; fact33 -> int5: 「もしそのワルツが胸苦しくないかもしくは長持ちするとすればそのワルツは再生性でない」ということは真実である; fact30 -> int6: もしそのワルツが中途退学するとしたら胸苦しくないかまたは長持ちするかあるいは両方ともである; fact28 -> int7: もしその傾きは嫉妬深いならば「それは町会である」ということは成り立つ; fact32 & fact31 -> int8: その傾きは嫉妬深い; int7 & int8 -> int9: その傾きは町会である; fact23 & int9 -> int10: 「その傾きは繁栄出来る」ということは確かである; fact25 & int10 -> int11: 「その傾きは付与するということはない」ということは間違いである; int11 -> int12: とある物は付与する; int12 & fact24 -> int13: 「そのワルツは付与しないがしかしそれは就職祝いだ」ということは嘘だ; fact27 & int13 -> int14: そのワルツは中途退学する; int6 & int14 -> int15: そのワルツは胸苦しくないかもしくは長持ちするかあるいはどちらもだ; int5 & int15 -> int16: そのワルツは再生性でない; int16 -> int17: 何かは再生性でない; int17 & fact29 -> int18: 「この受託協会国際放送はすっごーいかまたは重いか両方ともである」ということは成り立つ;
$facts$ = fact1: 「長持ちする」物はある fact2: 「その傾きは常染色体でない一方で厳めしい」ということは成り立つということはない fact3: 仮に「この受託協会国際放送は運営上であるしそれは再生性だ」ということは嘘であるとすれば「この護法尊は運営上であるということはない」ということは本当だ fact4: 「そのワルツは付与しないがしかし就職祝いだ」ということは真実でないとすればそれは中途退学する fact5: その傾きが町会だとしたらそれは繁栄出来る fact6: もしも何らかのものが胸苦しくないかあるいはそれは長持ちするかまたは両方であるとすればそれは再生性でない fact7: もし仮にこの受託協会国際放送が重いとすると再生性だ fact8: この受託協会国際放送は掴み易くない fact9: 「この塾生は運営上であるしそれは御若い」ということは本当であるということはない fact10: この受託協会国際放送は重くないとすれば「この塾生は運営上だ一方で御若くない」ということは誤りだ fact11: もし「再生性でない」物があるならばあの受託協会国際放送はすっごーいかあるいは重いかまたは両方だ fact12: 「もしその傾きが繁栄出来ればその傾きは付与する」ということは事実だ fact13: もしもあるものが中途退学するなら胸苦しくないか長持ちするかもしくは両方だ fact14: 「この塾生は運送先であるししかも御若い」ということは嘘だ fact15: もし仮に「この受託協会国際放送は重くない」ということは誤っていないならば「この塾生は運営上だし御若い」ということは偽だ fact16: 「この塾生は再生性であるししかも運営上である」ということは成り立たない fact17: すっごーくないものは御若くない一方で重い fact18: もし仮に「その傾きは常染色体でない一方で厳めしい」ということは成り立たないならそれは嫉妬深い fact19: 重いものは運営上であるけど御若くない fact20: 嫉妬深いものは町会である fact21: もし「「「付与する」ということは誤りでない」物はある」ということは正しいとすると「そのワルツは付与しないがそれは就職祝いである」ということは本当でない fact22: この受託協会国際放送は再生性でない ; $hypothesis$ = 「この塾生は運営上であるけど御若くない」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。この受託協会国際放送は重い; fact7 & assump1 -> int1: この受託協会国際放送は再生性だ; int1 & fact22 -> int2: これは矛盾である; [assump1] & int2 -> int3: この受託協会国際放送は重くない; int3 & fact10 -> hypothesis; __PROVED__
事実1: 「長持ちする」物はある
事実2: 「その傾きは常染色体でない一方で厳めしい」ということは成り立つということはない
事実3: 仮に「この受託協会国際放送は運営上であるしそれは再生性だ」ということは嘘であるとすれば「この護法尊は運営上であるということはない」ということは本当だ
事実4: 「そのワルツは付与しないがしかし就職祝いだ」ということは真実でないとすればそれは中途退学する
事実5: その傾きが町会だとしたらそれは繁栄出来る
事実6: もしも何らかのものが胸苦しくないかあるいはそれは長持ちするかまたは両方であるとすればそれは再生性でない
事実7: もし仮にこの受託協会国際放送が重いとすると再生性だ
事実8: この受託協会国際放送は掴み易くない
事実9: 「この塾生は運営上であるしそれは御若い」ということは本当であるということはない
事実10: この受託協会国際放送は重くないとすれば「この塾生は運営上だ一方で御若くない」ということは誤りだ
事実11: もし「再生性でない」物があるならばあの受託協会国際放送はすっごーいかあるいは重いかまたは両方だ
事実12: 「もしその傾きが繁栄出来ればその傾きは付与する」ということは事実だ
事実13: もしもあるものが中途退学するなら胸苦しくないか長持ちするかもしくは両方だ
事実14: 「この塾生は運送先であるししかも御若い」ということは嘘だ
事実15: もし仮に「この受託協会国際放送は重くない」ということは誤っていないならば「この塾生は運営上だし御若い」ということは偽だ
事実16: 「この塾生は再生性であるししかも運営上である」ということは成り立たない
事実17: すっごーくないものは御若くない一方で重い
事実18: もし仮に「その傾きは常染色体でない一方で厳めしい」ということは成り立たないならそれは嫉妬深い
事実19: 重いものは運営上であるけど御若くない
事実20: 嫉妬深いものは町会である
事実21: もし「「「付与する」ということは誤りでない」物はある」ということは正しいとすると「そのワルツは付与しないがそれは就職祝いである」ということは本当でない
事実22: この受託協会国際放送は再生性でない

仮説: 「この塾生は運営上であるけど御若くない」ということは間違いである
1. 仮定1: 以下のように仮定する。この受託協会国際放送は重い
2. 事実7と仮定1から、推論1: "この受託協会国際放送は再生性だ"が導かれる
3. 推論1と事実22から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この受託協会国際放送は重くない"が導かれる
5. 推論3と事実10から、仮説が導かれる

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