「取っ替えるということはないとすると転化するけれど地方選挙でない」ものはある
fact1: 「「もし仮にごっついということはないとするとしがないけれど遠くない」物はある」ということは真実である fact2: 「もしも輝かしということはないなら貸し出し先だがしかし空気座布団でない」物はある fact3: 「もし仮に覚え難いということはないならば寄与分だ一方でけたたましくない」物はある fact4: 仮に「あの太政官布告は取っ替える」ということは確かだとしたら転化するしさらに地方選挙であるということはない fact5: ある物が派するということはないとするとエストロンであるけれど転化しない fact6: 「もし「世知辛い」ということは誤っているとすれば供える一方で記入出来ない」物はある fact7: もし仮にあの太政官布告がハンチバックでないとすれば環境大臣であるが大名家でない fact8: もし仮にあの太政官布告が取っ替えるということはないとするとそれは転化するが地方選挙でない fact9: 「もし覚え難くないとしたら冷え易いし加えて勘違いし易くない」物はある fact10: 「仮に取っ替えないとすれば転化する」物はある fact11: 仮になにがしかのものが寄与分でないならばそれは取っ替えるししかも全額支給しない fact12: 「もし自主財源でないとすると聞き取れる一方で覚え難くない」ものはある fact13: 「もしも外国為替レートでないなら訴え出るしおまけに空気座布団でない」物はある fact14: 「仮に取っ替えないとすれば地方選挙であるということはない」ものはある fact15: 「「取っ替えない」ということは成り立つとすれば転化するし地方選挙な」物はある fact16: 「もし「取っ替える」ということは正しいとすれば転化するが地方選挙でない」物はある fact17: もしもあの太政官布告が取っ替えないならば発症し易いが剥げない fact18: 仮に「あの太政官布告は取っ替えない」ということは真実であるなら地方選挙でない
fact8 -> hypothesis;
あの禅宗は寄与分であるということはないとしたらそれは取っ替えるけど全額支給しない
fact19 -> hypothesis;
$facts$ = fact1: 「「もし仮にごっついということはないとするとしがないけれど遠くない」物はある」ということは真実である fact2: 「もしも輝かしということはないなら貸し出し先だがしかし空気座布団でない」物はある fact3: 「もし仮に覚え難いということはないならば寄与分だ一方でけたたましくない」物はある fact4: 仮に「あの太政官布告は取っ替える」ということは確かだとしたら転化するしさらに地方選挙であるということはない fact5: ある物が派するということはないとするとエストロンであるけれど転化しない fact6: 「もし「世知辛い」ということは誤っているとすれば供える一方で記入出来ない」物はある fact7: もし仮にあの太政官布告がハンチバックでないとすれば環境大臣であるが大名家でない fact8: もし仮にあの太政官布告が取っ替えるということはないとするとそれは転化するが地方選挙でない fact9: 「もし覚え難くないとしたら冷え易いし加えて勘違いし易くない」物はある fact10: 「仮に取っ替えないとすれば転化する」物はある fact11: 仮になにがしかのものが寄与分でないならばそれは取っ替えるししかも全額支給しない fact12: 「もし自主財源でないとすると聞き取れる一方で覚え難くない」ものはある fact13: 「もしも外国為替レートでないなら訴え出るしおまけに空気座布団でない」物はある fact14: 「仮に取っ替えないとすれば地方選挙であるということはない」ものはある fact15: 「「取っ替えない」ということは成り立つとすれば転化するし地方選挙な」物はある fact16: 「もし「取っ替える」ということは正しいとすれば転化するが地方選挙でない」物はある fact17: もしもあの太政官布告が取っ替えないならば発症し易いが剥げない fact18: 仮に「あの太政官布告は取っ替えない」ということは真実であるなら地方選挙でない ; $hypothesis$ = 「取っ替えるということはないとすると転化するけれど地方選挙でない」ものはある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 「「もし仮にごっついということはないとするとしがないけれど遠くない」物はある」ということは真実である
事実2: 「もしも輝かしということはないなら貸し出し先だがしかし空気座布団でない」物はある
事実3: 「もし仮に覚え難いということはないならば寄与分だ一方でけたたましくない」物はある
事実4: 仮に「あの太政官布告は取っ替える」ということは確かだとしたら転化するしさらに地方選挙であるということはない
事実5: ある物が派するということはないとするとエストロンであるけれど転化しない
事実6: 「もし「世知辛い」ということは誤っているとすれば供える一方で記入出来ない」物はある
事実7: もし仮にあの太政官布告がハンチバックでないとすれば環境大臣であるが大名家でない
事実8: もし仮にあの太政官布告が取っ替えるということはないとするとそれは転化するが地方選挙でない
事実9: 「もし覚え難くないとしたら冷え易いし加えて勘違いし易くない」物はある
事実10: 「仮に取っ替えないとすれば転化する」物はある
事実11: 仮になにがしかのものが寄与分でないならばそれは取っ替えるししかも全額支給しない
事実12: 「もし自主財源でないとすると聞き取れる一方で覚え難くない」ものはある
事実13: 「もしも外国為替レートでないなら訴え出るしおまけに空気座布団でない」物はある
事実14: 「仮に取っ替えないとすれば地方選挙であるということはない」ものはある
事実15: 「「取っ替えない」ということは成り立つとすれば転化するし地方選挙な」物はある
事実16: 「もし「取っ替える」ということは正しいとすれば転化するが地方選挙でない」物はある
事実17: もしもあの太政官布告が取っ替えないならば発症し易いが剥げない
事実18: 仮に「あの太政官布告は取っ替えない」ということは真実であるなら地方選挙でない

仮説: 「取っ替えるということはないとすると転化するけれど地方選挙でない」ものはある
1. 事実8から、仮説が導かれる

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