「欠けるとすれば「溶け難くないか室町幕府でないかあるいはどちらもである」ということは真実でない」ものはある
fact1: 「もし仮に「想像し易い」ということは本当であるならば室町幕府な」物はある fact2: もしもとあるものが復旧するということはないとすればそれは欠けるし想像し易い fact3: もし仮に「この先読みは弾き飛ばすしおまけにそれは室町幕府である」ということは誤りならあの折り畳み式は復旧しない fact4: この先読みは想像し易くてさらに欠けるとすればそれは復旧しない fact5: もし仮に「ある物は許し難くないけどうっとりする」ということは成り立たないとするとそれは姦通しない fact6: この先読みは想像し易い fact7: もしもその周期律表は姦通しないとすると「この先読みは弾き飛ばすしそれは室町幕府だ」ということは成り立たない fact8: 「この先読みは室町幕府でないかもしくは喧しくないかまたは両方ともだ」ということは間違っている fact9: この先読みは復旧しないなら「溶け難くないか室町幕府でないかあるいは両方である」ということは嘘である
void -> assump1: 以下のように仮定する。この先読みは欠ける; fact6 & assump1 -> int1: この先読みは想像し易いし欠ける; int1 & fact4 -> int2: この先読みは復旧しない; int2 & fact9 -> int3: 「この先読みは溶け難いということはないかあるいは室町幕府でないか両方である」ということは事実と異なる; [assump1] & int3 -> int4: もしこの先読みは欠ければ「それは溶け難くないかもしくは室町幕府でないかもしくは両方ともだ」ということは成り立たない; int4 -> hypothesis;
「あの折り畳み式は溶け難くないかそれは四工場でないかもしくはどちらもだ」ということは成り立たない
fact13 -> int5: もしもあの折り畳み式が復旧しないとしたら欠けるし想像し易い; fact11 -> int6: もし仮に「その周期律表は許し難くないけどうっとりする」ということは成り立つということはないとしたらそれは姦通しない;
$facts$ = fact1: 「もし仮に「想像し易い」ということは本当であるならば室町幕府な」物はある fact2: もしもとあるものが復旧するということはないとすればそれは欠けるし想像し易い fact3: もし仮に「この先読みは弾き飛ばすしおまけにそれは室町幕府である」ということは誤りならあの折り畳み式は復旧しない fact4: この先読みは想像し易くてさらに欠けるとすればそれは復旧しない fact5: もし仮に「ある物は許し難くないけどうっとりする」ということは成り立たないとするとそれは姦通しない fact6: この先読みは想像し易い fact7: もしもその周期律表は姦通しないとすると「この先読みは弾き飛ばすしそれは室町幕府だ」ということは成り立たない fact8: 「この先読みは室町幕府でないかもしくは喧しくないかまたは両方ともだ」ということは間違っている fact9: この先読みは復旧しないなら「溶け難くないか室町幕府でないかあるいは両方である」ということは嘘である ; $hypothesis$ = 「欠けるとすれば「溶け難くないか室町幕府でないかあるいはどちらもである」ということは真実でない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。この先読みは欠ける; fact6 & assump1 -> int1: この先読みは想像し易いし欠ける; int1 & fact4 -> int2: この先読みは復旧しない; int2 & fact9 -> int3: 「この先読みは溶け難いということはないかあるいは室町幕府でないか両方である」ということは事実と異なる; [assump1] & int3 -> int4: もしこの先読みは欠ければ「それは溶け難くないかもしくは室町幕府でないかもしくは両方ともだ」ということは成り立たない; int4 -> hypothesis; __PROVED__
事実1: 「もし仮に「想像し易い」ということは本当であるならば室町幕府な」物はある
事実2: もしもとあるものが復旧するということはないとすればそれは欠けるし想像し易い
事実3: もし仮に「この先読みは弾き飛ばすしおまけにそれは室町幕府である」ということは誤りならあの折り畳み式は復旧しない
事実4: この先読みは想像し易くてさらに欠けるとすればそれは復旧しない
事実5: もし仮に「ある物は許し難くないけどうっとりする」ということは成り立たないとするとそれは姦通しない
事実6: この先読みは想像し易い
事実7: もしもその周期律表は姦通しないとすると「この先読みは弾き飛ばすしそれは室町幕府だ」ということは成り立たない
事実8: 「この先読みは室町幕府でないかもしくは喧しくないかまたは両方ともだ」ということは間違っている
事実9: この先読みは復旧しないなら「溶け難くないか室町幕府でないかあるいは両方である」ということは嘘である

仮説: 「欠けるとすれば「溶け難くないか室町幕府でないかあるいはどちらもである」ということは真実でない」ものはある
1. 仮定1: 以下のように仮定する。この先読みは欠ける
2. 事実6と仮定1から、推論1: "この先読みは想像し易いし欠ける"が導かれる
3. 推論1と事実4から、推論2: "この先読みは復旧しない"が導かれる
4. 推論2と事実9から、推論3: "「この先読みは溶け難いということはないかあるいは室町幕府でないか両方である」ということは事実と異なる"が導かれる
5. [仮定1]と推論3から、推論4: "もしこの先読みは欠ければ「それは溶け難くないかもしくは室町幕府でないかもしくは両方ともだ」ということは成り立たない"が導かれる
6. 推論4から、仮説が導かれる

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