「もし仮にもっとするとすれば「宜しないし甘ーい」ということは成り立たない」ものはある
fact1: もしとある物は付随するなら「ガムテープでないしさらに心憎いということはない」ということは成り立たない fact2: もしも何かはもっとするとすれば「「粗くないが広い」ということは確かである」ということは偽である fact3: もし仮にこの中央通路がもっとするならそれは遜色無い fact4: もしも「なにがしかのものはもっとするということはないがしかしそれは遜色無い」ということは誤っているとするともっとする fact5: 仮になんらかのものはガムテープでないならば「第一減数分裂である一方でエンディングサポートだということはない」ということは嘘である fact6: 仮にとあるものは宜しならば「それはもっとしなくてそれは遜色無い」ということは誤りである fact7: もしも「「この中央通路はガムテープでないしその上心憎くない」ということは正しい」ということは成り立たないとしたらあのセメダインはガムテープでない fact8: 仮にこの中央通路がもっとすればそれは宜しないし甘ーい fact9: 「この中央通路は宜ししまた甘ーい」ということは嘘である fact10: もしもこの中央通路はもっとすれば「それは宜しししかも甘ーい」ということは誤りだ fact11: もしもなんらかのものは技術であるとしたら「それは占有するしそれは巻き起こらない」ということは嘘である fact12: もし「何かは第一減数分裂だけれどエンディングサポートでない」ということは誤っているとすればそれは燃え上がらない fact13: あらゆるものは技術である fact14: 「仮になにかは遜色無いなら「宜しないけれど甘ーい」ということは成り立たない」ということは成り立つ fact15: この六月時点は甘ーい fact16: 「もっとするとすれば「宜しししかも甘ーい」ということは成り立たない」物はある fact17: 「とあるものは占有するが巻き起こるということはない」ということは偽であるならばそれは付随する
void -> assump1: 以下のように仮定する。この中央通路はもっとする; fact3 & assump1 -> int1: 「この中央通路は遜色無くない」ということは本当でない; fact14 -> int2: もし仮にこの中央通路は遜色無いとしたら「宜しないが甘ーい」ということは正しくない; int1 & int2 -> int3: 「この中央通路は宜しないけど甘ーい」ということは正しくない; [assump1] & int3 -> int4: もしもこの中央通路はもっとするなら「それは宜しないが甘ーい」ということは誤りだ; int4 -> hypothesis;
「「あのセメダインは粗くないけれど広い」ということは正しい」ということは間違いである
fact26 -> int5: もしもあのセメダインはもっとするとすれば「粗くないしおまけに広い」ということは誤りだ; fact24 -> int6: もしあのセメダインは宜しならば「それはもっとしないけど遜色無い」ということは誤りだ; fact18 -> int7: もし仮にあのセメダインはガムテープであるということはないならば「第一減数分裂だし加えてエンディングサポートでない」ということは嘘だ; fact23 -> int8: もしもこの中央通路は付随するなら「ガムテープでないし心憎いということはない」ということは成り立たない; fact19 -> int9: もし仮にこの脱脂綿は技術なら「占有するしかつ巻き起こるということはない」ということは間違っている; fact22 -> int10: この脱脂綿は技術だ; int9 & int10 -> int11: 「「この脱脂綿は占有するけれど巻き起こるということはない」ということは成り立つ」ということは本当でない; int11 -> int12: 占有するしかつそれは巻き起こらないという物はない; int12 -> int13: 「この中央通路は占有するがそれは巻き起こらない」ということは事実と異なる; fact21 -> int14: 仮に「この中央通路は占有するけれど巻き起こらない」ということは間違いならば付随する; int13 & int14 -> int15: この中央通路は付随する; int8 & int15 -> int16: 「この中央通路はガムテープでなくてその上それは心憎くない」ということは成り立たない; fact25 & int16 -> int17: あのセメダインはガムテープでない; int7 & int17 -> int18: 「「あのセメダインは第一減数分裂だがエンディングサポートでない」ということは成り立つ」ということは間違っている; fact20 -> int19: もし「あのセメダインは第一減数分裂だがそれはエンディングサポートでない」ということは成り立たないとすればそれは燃え上がらない; int18 & int19 -> int20: あのセメダインは燃え上がらない; fact27 -> int21: もし「あのセメダインはもっとしないが遜色無い」ということは誤っているならもっとする;
$facts$ = fact1: もしとある物は付随するなら「ガムテープでないしさらに心憎いということはない」ということは成り立たない fact2: もしも何かはもっとするとすれば「「粗くないが広い」ということは確かである」ということは偽である fact3: もし仮にこの中央通路がもっとするならそれは遜色無い fact4: もしも「なにがしかのものはもっとするということはないがしかしそれは遜色無い」ということは誤っているとするともっとする fact5: 仮になんらかのものはガムテープでないならば「第一減数分裂である一方でエンディングサポートだということはない」ということは嘘である fact6: 仮にとあるものは宜しならば「それはもっとしなくてそれは遜色無い」ということは誤りである fact7: もしも「「この中央通路はガムテープでないしその上心憎くない」ということは正しい」ということは成り立たないとしたらあのセメダインはガムテープでない fact8: 仮にこの中央通路がもっとすればそれは宜しないし甘ーい fact9: 「この中央通路は宜ししまた甘ーい」ということは嘘である fact10: もしもこの中央通路はもっとすれば「それは宜しししかも甘ーい」ということは誤りだ fact11: もしもなんらかのものは技術であるとしたら「それは占有するしそれは巻き起こらない」ということは嘘である fact12: もし「何かは第一減数分裂だけれどエンディングサポートでない」ということは誤っているとすればそれは燃え上がらない fact13: あらゆるものは技術である fact14: 「仮になにかは遜色無いなら「宜しないけれど甘ーい」ということは成り立たない」ということは成り立つ fact15: この六月時点は甘ーい fact16: 「もっとするとすれば「宜しししかも甘ーい」ということは成り立たない」物はある fact17: 「とあるものは占有するが巻き起こるということはない」ということは偽であるならばそれは付随する ; $hypothesis$ = 「もし仮にもっとするとすれば「宜しないし甘ーい」ということは成り立たない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。この中央通路はもっとする; fact3 & assump1 -> int1: 「この中央通路は遜色無くない」ということは本当でない; fact14 -> int2: もし仮にこの中央通路は遜色無いとしたら「宜しないが甘ーい」ということは正しくない; int1 & int2 -> int3: 「この中央通路は宜しないけど甘ーい」ということは正しくない; [assump1] & int3 -> int4: もしもこの中央通路はもっとするなら「それは宜しないが甘ーい」ということは誤りだ; int4 -> hypothesis; __PROVED__
事実1: もしとある物は付随するなら「ガムテープでないしさらに心憎いということはない」ということは成り立たない
事実2: もしも何かはもっとするとすれば「「粗くないが広い」ということは確かである」ということは偽である
事実3: もし仮にこの中央通路がもっとするならそれは遜色無い
事実4: もしも「なにがしかのものはもっとするということはないがしかしそれは遜色無い」ということは誤っているとするともっとする
事実5: 仮になんらかのものはガムテープでないならば「第一減数分裂である一方でエンディングサポートだということはない」ということは嘘である
事実6: 仮にとあるものは宜しならば「それはもっとしなくてそれは遜色無い」ということは誤りである
事実7: もしも「「この中央通路はガムテープでないしその上心憎くない」ということは正しい」ということは成り立たないとしたらあのセメダインはガムテープでない
事実8: 仮にこの中央通路がもっとすればそれは宜しないし甘ーい
事実9: 「この中央通路は宜ししまた甘ーい」ということは嘘である
事実10: もしもこの中央通路はもっとすれば「それは宜しししかも甘ーい」ということは誤りだ
事実11: もしもなんらかのものは技術であるとしたら「それは占有するしそれは巻き起こらない」ということは嘘である
事実12: もし「何かは第一減数分裂だけれどエンディングサポートでない」ということは誤っているとすればそれは燃え上がらない
事実13: あらゆるものは技術である
事実14: 「仮になにかは遜色無いなら「宜しないけれど甘ーい」ということは成り立たない」ということは成り立つ
事実15: この六月時点は甘ーい
事実16: 「もっとするとすれば「宜しししかも甘ーい」ということは成り立たない」物はある
事実17: 「とあるものは占有するが巻き起こるということはない」ということは偽であるならばそれは付随する

仮説: 「もし仮にもっとするとすれば「宜しないし甘ーい」ということは成り立たない」ものはある
1. 仮定1: 以下のように仮定する。この中央通路はもっとする
2. 事実3と仮定1から、推論1: "「この中央通路は遜色無くない」ということは本当でない"が導かれる
3. 事実14から、推論2: "もし仮にこの中央通路は遜色無いとしたら「宜しないが甘ーい」ということは正しくない"が導かれる
4. 推論1と推論2から、推論3: "「この中央通路は宜しないけど甘ーい」ということは正しくない"が導かれる
5. [仮定1]と推論3から、推論4: "もしもこの中央通路はもっとするなら「それは宜しないが甘ーい」ということは誤りだ"が導かれる
6. 推論4から、仮説が導かれる

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