「進ぜないとすれば「一吹きする一方で成就出来ない」ということは嘘である」ものはある
fact1: もしもその迷彩は進ぜないとすれば「それは一吹きするけれど成就出来ない」ということは誤りだ fact2: 仮に「その迷彩は進ぜる」ということは真実でないとしたら一吹きするけど成就出来ない fact3: 「もし仮に進ぜないならば一吹きするけど成就出来ない」ものはある fact4: もしその迷彩は進ぜないとすれば「一吹きするししかも成就出来る」ということは誤りだ fact5: 「もしも進ぜるとすると「一吹きするし成就出来ない」ということは嘘である」物はある fact6: ある物はニュアンスでないとしたら「「付け難いが叩きのめすということはない」ということは成り立つ」ということは事実と異なる fact7: 「もし「歩き疲れない」ということは確かであるなら「小難しくてカウンシルでない」ということは成り立たない」物はある fact8: 「「進ぜないとしたら「一吹きするしそれに成就出来る」ということは嘘な」物はある」ということは確かである
fact1 -> hypothesis;
この造影欠損領域はニュアンスでないなら「付け難いけど叩きのめさない」ということは間違いである
fact9 -> hypothesis;
$facts$ = fact1: もしもその迷彩は進ぜないとすれば「それは一吹きするけれど成就出来ない」ということは誤りだ fact2: 仮に「その迷彩は進ぜる」ということは真実でないとしたら一吹きするけど成就出来ない fact3: 「もし仮に進ぜないならば一吹きするけど成就出来ない」ものはある fact4: もしその迷彩は進ぜないとすれば「一吹きするししかも成就出来る」ということは誤りだ fact5: 「もしも進ぜるとすると「一吹きするし成就出来ない」ということは嘘である」物はある fact6: ある物はニュアンスでないとしたら「「付け難いが叩きのめすということはない」ということは成り立つ」ということは事実と異なる fact7: 「もし「歩き疲れない」ということは確かであるなら「小難しくてカウンシルでない」ということは成り立たない」物はある fact8: 「「進ぜないとしたら「一吹きするしそれに成就出来る」ということは嘘な」物はある」ということは確かである ; $hypothesis$ = 「進ぜないとすれば「一吹きする一方で成就出来ない」ということは嘘である」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしもその迷彩は進ぜないとすれば「それは一吹きするけれど成就出来ない」ということは誤りだ
事実2: 仮に「その迷彩は進ぜる」ということは真実でないとしたら一吹きするけど成就出来ない
事実3: 「もし仮に進ぜないならば一吹きするけど成就出来ない」ものはある
事実4: もしその迷彩は進ぜないとすれば「一吹きするししかも成就出来る」ということは誤りだ
事実5: 「もしも進ぜるとすると「一吹きするし成就出来ない」ということは嘘である」物はある
事実6: ある物はニュアンスでないとしたら「「付け難いが叩きのめすということはない」ということは成り立つ」ということは事実と異なる
事実7: 「もし「歩き疲れない」ということは確かであるなら「小難しくてカウンシルでない」ということは成り立たない」物はある
事実8: 「「進ぜないとしたら「一吹きするしそれに成就出来る」ということは嘘な」物はある」ということは確かである

仮説: 「進ぜないとすれば「一吹きする一方で成就出来ない」ということは嘘である」ものはある
1. 事実1から、仮説が導かれる

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