「もし仮に展開し易いということはないとすると「宣言しないかまたは一通り紹介しない」ということは間違っている」ものはある
fact1: もしその組成式は展開し易くないとしたらそれは一通り紹介する fact2: 「「展開し易くないとすれば一通り紹介する」ものはある」ということは真実である fact3: 「後ろ暗くないとすれば対応し易い」物はある fact4: 「「分離性でない」ということは成り立つなら「落ち易くないかもしくはチャーターしない」ということは成り立たない」ものはある fact5: 「展開し易いということはないとすれば宣言しないかあるいは一通り紹介するということはないかもしくはどちらもな」物はある fact6: 「仮に展開し易くないとすれば「宣言しないか一通り紹介するかあるいは両方ともである」ということは事実と異なる」物はある fact7: 「もし仮に苛々し易いなら「キャッシュ化でないかもしくは心無くないか両方ともだ」ということは誤りである」ものはある fact8: もしもその組成式は感染し易いということはないなら「それはＰＯオアだということはないかまたはそれはシミュレーションしないか両方ともである」ということは誤りだ fact9: もしその組成式は展開し易いなら「それは宣言しないかまたは一通り紹介しない」ということは誤りである fact10: 「「入党しない」ということは成り立てば「対応し易いということはないかもしくは認可しないかもしくは両方である」ということは事実と異なる」ものはある fact11: もし何かは引き起こし易いということはないなら「それは加工し易くないか夫婦らしいということはないかどちらもだ」ということは成り立たない fact12: 「もしも散髪しないとしたら形容し難い」物はある fact13: その組成式は展開し易くないとすれば「それは宣言しないかもしくは一通り紹介しないか両方ともだ」ということは誤りである fact14: 「展開し易くないとすると「宣言するか一通り紹介しない」ということは間違いである」ものはある fact15: その組成式が展開し易くないならばそれは宣言しないかまたは一通り紹介しない fact16: その組成式は展開し易いということはないなら「それは宣言するかあるいは一通り紹介するということはないかあるいは両方である」ということは成り立たない
fact13 -> hypothesis;
「もし仮に引き起こし易くないとすると「加工し易くないか夫婦らしいということはないかもしくは両方ともだ」ということは事実と異なる」物はある
fact17 -> int1: もしその改正省令付則は引き起こし易くないならば「それは加工し易くないか夫婦らしいということはないかまたは両方ともである」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: もしその組成式は展開し易くないとしたらそれは一通り紹介する fact2: 「「展開し易くないとすれば一通り紹介する」ものはある」ということは真実である fact3: 「後ろ暗くないとすれば対応し易い」物はある fact4: 「「分離性でない」ということは成り立つなら「落ち易くないかもしくはチャーターしない」ということは成り立たない」ものはある fact5: 「展開し易いということはないとすれば宣言しないかあるいは一通り紹介するということはないかもしくはどちらもな」物はある fact6: 「仮に展開し易くないとすれば「宣言しないか一通り紹介するかあるいは両方ともである」ということは事実と異なる」物はある fact7: 「もし仮に苛々し易いなら「キャッシュ化でないかもしくは心無くないか両方ともだ」ということは誤りである」ものはある fact8: もしもその組成式は感染し易いということはないなら「それはＰＯオアだということはないかまたはそれはシミュレーションしないか両方ともである」ということは誤りだ fact9: もしその組成式は展開し易いなら「それは宣言しないかまたは一通り紹介しない」ということは誤りである fact10: 「「入党しない」ということは成り立てば「対応し易いということはないかもしくは認可しないかもしくは両方である」ということは事実と異なる」ものはある fact11: もし何かは引き起こし易いということはないなら「それは加工し易くないか夫婦らしいということはないかどちらもだ」ということは成り立たない fact12: 「もしも散髪しないとしたら形容し難い」物はある fact13: その組成式は展開し易くないとすれば「それは宣言しないかもしくは一通り紹介しないか両方ともだ」ということは誤りである fact14: 「展開し易くないとすると「宣言するか一通り紹介しない」ということは間違いである」ものはある fact15: その組成式が展開し易くないならばそれは宣言しないかまたは一通り紹介しない fact16: その組成式は展開し易いということはないなら「それは宣言するかあるいは一通り紹介するということはないかあるいは両方である」ということは成り立たない ; $hypothesis$ = 「もし仮に展開し易いということはないとすると「宣言しないかまたは一通り紹介しない」ということは間違っている」ものはある ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: もしその組成式は展開し易くないとしたらそれは一通り紹介する
事実2: 「「展開し易くないとすれば一通り紹介する」ものはある」ということは真実である
事実3: 「後ろ暗くないとすれば対応し易い」物はある
事実4: 「「分離性でない」ということは成り立つなら「落ち易くないかもしくはチャーターしない」ということは成り立たない」ものはある
事実5: 「展開し易いということはないとすれば宣言しないかあるいは一通り紹介するということはないかもしくはどちらもな」物はある
事実6: 「仮に展開し易くないとすれば「宣言しないか一通り紹介するかあるいは両方ともである」ということは事実と異なる」物はある
事実7: 「もし仮に苛々し易いなら「キャッシュ化でないかもしくは心無くないか両方ともだ」ということは誤りである」ものはある
事実8: もしもその組成式は感染し易いということはないなら「それはＰＯオアだということはないかまたはそれはシミュレーションしないか両方ともである」ということは誤りだ
事実9: もしその組成式は展開し易いなら「それは宣言しないかまたは一通り紹介しない」ということは誤りである
事実10: 「「入党しない」ということは成り立てば「対応し易いということはないかもしくは認可しないかもしくは両方である」ということは事実と異なる」ものはある
事実11: もし何かは引き起こし易いということはないなら「それは加工し易くないか夫婦らしいということはないかどちらもだ」ということは成り立たない
事実12: 「もしも散髪しないとしたら形容し難い」物はある
事実13: その組成式は展開し易くないとすれば「それは宣言しないかもしくは一通り紹介しないか両方ともだ」ということは誤りである
事実14: 「展開し易くないとすると「宣言するか一通り紹介しない」ということは間違いである」ものはある
事実15: その組成式が展開し易くないならばそれは宣言しないかまたは一通り紹介しない
事実16: その組成式は展開し易いということはないなら「それは宣言するかあるいは一通り紹介するということはないかあるいは両方である」ということは成り立たない

仮説: 「もし仮に展開し易いということはないとすると「宣言しないかまたは一通り紹介しない」ということは間違っている」ものはある
1. 事実13から、仮説が導かれる

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