「もし仮に「入れ難くない」ということは確かであるならば「減少しなくてかつ銀でない」ということは嘘な」ものはある
fact1: 「もし入れ難くないなら減少しないしさらに銀でない」物はある fact2: 「もし早めないならば「累積損失でないし更に淀み無くない」ということは間違いな」ものはある fact3: もしその指導者側は入れ難くないとしたら「それは減少しないしそれは銀でない」ということは誤りである fact4: 「もしもその指導者側は入れ難くないならば「その指導者側は減少するがしかしそれは銀でない」ということは嘘だ」ということは成り立つ fact5: 「仮に入れ難いとすれば「減少しないし銀でない」ということは成り立たない」物はある fact6: もしもその指導者側は入れ難いということはないとすれば「減少しなくてそれは銀だ」ということは間違いだ fact7: その指導者側は入れ難いとすれば「減少しないしおまけに銀でない」ということは事実と異なる fact8: その指導者側はブランドらしくないとすれば「宜しくないし成仏出来ない」ということは事実と異なる fact9: もしも「その指導者側は減少しない」ということは本当であるとすれば「それが付帯しないしさらにそれは朝市でない」ということは嘘である fact10: もし仮にこの非国有企業は少年用スポーツ車でないなら「入れ難いということはないし加えて降伏しない」ということは間違いである fact11: 仮にその指導者側が入れ難くないとすれば減少しないしさらに銀でない fact12: 仮にある物は各タイプでないとすると「それは入れ難くなくてそれにそれは悔い改めない」ということは成り立たない fact13: 「仮に入れ難いということはないならば「減少するしさらに銀だということはない」ということは事実と異なる」ものはある fact14: 「「仮に入れ難くないならば「減少しないしさらに銀だ」ということは成り立たない」物はある」ということは正しい
fact3 -> hypothesis;
fact3 -> hypothesis;
もし「あの第一関節は各タイプでない」ということは正しいならば「入れ難くなくて更に悔い改めない」ということは間違いである
fact15 -> hypothesis;
$facts$ = fact1: 「もし入れ難くないなら減少しないしさらに銀でない」物はある fact2: 「もし早めないならば「累積損失でないし更に淀み無くない」ということは間違いな」ものはある fact3: もしその指導者側は入れ難くないとしたら「それは減少しないしそれは銀でない」ということは誤りである fact4: 「もしもその指導者側は入れ難くないならば「その指導者側は減少するがしかしそれは銀でない」ということは嘘だ」ということは成り立つ fact5: 「仮に入れ難いとすれば「減少しないし銀でない」ということは成り立たない」物はある fact6: もしもその指導者側は入れ難いということはないとすれば「減少しなくてそれは銀だ」ということは間違いだ fact7: その指導者側は入れ難いとすれば「減少しないしおまけに銀でない」ということは事実と異なる fact8: その指導者側はブランドらしくないとすれば「宜しくないし成仏出来ない」ということは事実と異なる fact9: もしも「その指導者側は減少しない」ということは本当であるとすれば「それが付帯しないしさらにそれは朝市でない」ということは嘘である fact10: もし仮にこの非国有企業は少年用スポーツ車でないなら「入れ難いということはないし加えて降伏しない」ということは間違いである fact11: 仮にその指導者側が入れ難くないとすれば減少しないしさらに銀でない fact12: 仮にある物は各タイプでないとすると「それは入れ難くなくてそれにそれは悔い改めない」ということは成り立たない fact13: 「仮に入れ難いということはないならば「減少するしさらに銀だということはない」ということは事実と異なる」ものはある fact14: 「「仮に入れ難くないならば「減少しないしさらに銀だ」ということは成り立たない」物はある」ということは正しい ; $hypothesis$ = 「もし仮に「入れ難くない」ということは確かであるならば「減少しなくてかつ銀でない」ということは嘘な」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「もし入れ難くないなら減少しないしさらに銀でない」物はある
事実2: 「もし早めないならば「累積損失でないし更に淀み無くない」ということは間違いな」ものはある
事実3: もしその指導者側は入れ難くないとしたら「それは減少しないしそれは銀でない」ということは誤りである
事実4: 「もしもその指導者側は入れ難くないならば「その指導者側は減少するがしかしそれは銀でない」ということは嘘だ」ということは成り立つ
事実5: 「仮に入れ難いとすれば「減少しないし銀でない」ということは成り立たない」物はある
事実6: もしもその指導者側は入れ難いということはないとすれば「減少しなくてそれは銀だ」ということは間違いだ
事実7: その指導者側は入れ難いとすれば「減少しないしおまけに銀でない」ということは事実と異なる
事実8: その指導者側はブランドらしくないとすれば「宜しくないし成仏出来ない」ということは事実と異なる
事実9: もしも「その指導者側は減少しない」ということは本当であるとすれば「それが付帯しないしさらにそれは朝市でない」ということは嘘である
事実10: もし仮にこの非国有企業は少年用スポーツ車でないなら「入れ難いということはないし加えて降伏しない」ということは間違いである
事実11: 仮にその指導者側が入れ難くないとすれば減少しないしさらに銀でない
事実12: 仮にある物は各タイプでないとすると「それは入れ難くなくてそれにそれは悔い改めない」ということは成り立たない
事実13: 「仮に入れ難いということはないならば「減少するしさらに銀だということはない」ということは事実と異なる」ものはある
事実14: 「「仮に入れ難くないならば「減少しないしさらに銀だ」ということは成り立たない」物はある」ということは正しい

仮説: 「もし仮に「入れ難くない」ということは確かであるならば「減少しなくてかつ銀でない」ということは嘘な」ものはある
1. 事実3から、仮説が導かれる

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