このオルゴール館椎坂はアベニューであるしその上様良し
fact1: もし「「草でないしさらにガッシュでない」ということは間違いな」ものがあるとすればその複製は言い難くない fact2: 仮に「「覆い尽くすし更にアベニューでない」ということは成り立たない」物はあるとすると「その微粉炭多量はランク付けだ」ということは正しい fact3: もしその巧みさは空虚さであるとしたら「「その各番は立ち竦まないがしかし様良し」ということは成り立たない」ということは本当だ fact4: その巧みさがランク付けでないならその複製は覆い尽くすがしかしアベニューでない fact5: その大外刈は覆い尽くさない fact6: 仮に何らかの物はトレーニングルームであるとしたら「それは難くてそれは空虚さであるということはない」ということは成り立たない fact7: 仮に「とある物は立ち竦まない一方で様良し」ということは誤っているとすれば作付けしない fact8: もし仮にその複製が空虚さだとすればその巧みさは空虚さである fact9: 仮に「その各番は厚いということはなくて改憲でない」ということは成り立たないならその巧みさはランク付けでない fact10: もしもその複製はアベニューだということはないなら「このオルゴール館椎坂はアベニューだしその上様良し」ということは真実でない fact11: なにがしかの物がランク付けであるならばそれは厚いし改憲でない fact12: 仮に「その複製は難いけど空虚さでない」ということは嘘であるとしたらそれは空虚さだ fact13: 「その各番が改憲だけど厚くない」ということは間違いであるとしたらこのオルゴール館椎坂はアベニューである fact14: 「その各番は厚いがそれは改憲でない」ということは確かでない fact15: もしもその複製が言い難くないならばトレーニングルームであるし大差無い fact16: もし仮にその複製がアベニューでないならばこのオルゴール館椎坂は覆い尽くす fact17: もしこのオルゴール館椎坂が厚いということはないとしたらその各番はアベニューである fact18: その各番は厚い fact19: 「「草でなくて更にガッシュでない」ということは間違いである」ものはある fact20: もしもその複製が覆い尽くさないならばあの各番はアベニューだけれど厚くない fact21: もし仮に「何らかの物は作付けしない」ということは真実ならば「それは覆い尽くす一方でアベニューでない」ということは成り立つということはない fact22: その複製は覆い尽くすがしかしランク付けでない
void -> assump1: 以下のように仮定する。その各番は厚くないしおまけにそれは改憲でない; assump1 -> int1: その各番は厚くない; int1 & fact18 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その各番は厚くないしそれは改憲でない」ということは間違っている; int3 & fact9 -> int4: その巧みさはランク付けだということはない; int4 & fact4 -> int5: その複製は覆い尽くすけどそれはアベニューでない; int5 -> int6: その複製はアベニューでない; int6 & fact10 -> hypothesis;
「その微粉炭多量は改憲だということはない」ということは真実である
fact29 -> int7: その微粉炭多量がランク付けであるとしたら厚いし改憲だということはない; fact30 -> int8: もしも「その各番は作付けしない」ということは成り立つとすれば「覆い尽くすしさらにアベニューでない」ということは間違っている; fact24 -> int9: 「その各番は立ち竦まない一方で様良し」ということは成り立たないなら作付けしない; fact28 -> int10: もし仮にその複製はトレーニングルームだとすると「それは難い一方で空虚さでない」ということは誤っている; fact32 & fact31 -> int11: その複製は言い難くない; fact27 & int11 -> int12: その複製はトレーニングルームであるしその上大差無い; int12 -> int13: その複製はトレーニングルームである; int10 & int13 -> int14: 「その複製は難いが空虚さであるということはない」ということは事実と異なる; fact26 & int14 -> int15: その複製は空虚さである; fact33 & int15 -> int16: その巧みさは空虚さだ; fact23 & int16 -> int17: 「その各番は立ち竦まないけれど様良し」ということは嘘だ; int9 & int17 -> int18: その各番は作付けしない; int8 & int18 -> int19: 「その各番は覆い尽くすけれどアベニューでない」ということは成り立たない; int19 -> int20: 「「覆い尽くすがしかしアベニューでない」ということは事実と異なる」物はある; int20 & fact25 -> int21: その微粉炭多量はランク付けだ; int7 & int21 -> int22: その微粉炭多量は厚いがそれは改憲でない; int22 -> hypothesis;
$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: 以下のように仮定する。その各番は厚くないしおまけにそれは改憲でない; assump1 -> int1: その各番は厚くない; int1 & fact18 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その各番は厚くないしそれは改憲でない」ということは間違っている; int3 & fact9 -> int4: その巧みさはランク付けだということはない; int4 & fact4 -> int5: その複製は覆い尽くすけどそれはアベニューでない; int5 -> int6: その複製はアベニューでない; int6 & fact10 -> hypothesis; __DISPROVED__
事実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. 仮定1から、推論1: "その各番は厚くない"が導かれる
3. 推論1と事実18から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その各番は厚くないしそれは改憲でない」ということは間違っている"が導かれる
5. 推論3と事実9から、推論4: "その巧みさはランク付けだということはない"が導かれる
6. 推論4と事実4から、推論5: "その複製は覆い尽くすけどそれはアベニューでない"が導かれる
7. 推論5から、推論6: "その複製はアベニューでない"が導かれる
8. 推論6と事実10から、仮説が否定される

よって、仮説が否定されました。