「もし「滑り易いがしかし閉じ籠もらない」ということは成り立たないとすればラベルしない」物はある
fact1: 「もし「踏ん張るしかつバリアフリー対応でない」ということは事実でないとすると開通する」ものはある fact2: もしも「そのチャンスタイムは誤解され易くて更にラベルする」ということは事実と異なればそれは転げ落ちるということはない fact3: 「赤しけど歩き難くないとすると小麦胚芽でない」物はある fact4: 「「受け辛くてまたリニューアルしない」ということは成り立たないならば市餅でない」物はある fact5: 仮に「あの島国日本は実行し易いし忘れ易い」ということは真実でないならば閉じ籠もらない fact6: 「もし配列変数であるとしたらとろ臭くない」物はある fact7: もし「「その愛郷はロッシュだが集め易くない」ということは正しい」ということは偽であるならば三十年以上でない fact8: 「もし仮に「滑り易いししかも閉じ籠もる」ということは間違いであるとするとラベルしない」ものはある fact9: 「「仮に「乾き易い一方で信仰深くない」ということは成り立たないとすれば「狂い回る」ということは事実である」物はある」ということは成り立つ fact10: 「何かは土地売却であるが通し入れない」ということは誤りだとすれば悄気るない fact11: もしもあの島国日本がラベルしないとすれば六日生まれでない fact12: 「「仮にし得ないとすれば「帰隊しない」ということは成り立つ」物はある」ということは成り立つ fact13: 仮に「あの島国日本は滑り易いけれど閉じ籠もらない」ということは間違いならそれはラベルしない fact14: もしもこのＪＮＤＩが皮膚内だけど閉じ籠もるということはないとしたらそれは公文書でない
fact13 -> hypothesis;
fact13 -> hypothesis;
もし仮に「あの連結事業年度終了は土地売却であるけれど通し入れない」ということは間違いであるとしたら「悄気るない」ということは間違っていない
fact15 -> hypothesis;
$facts$ = fact1: 「もし「踏ん張るしかつバリアフリー対応でない」ということは事実でないとすると開通する」ものはある fact2: もしも「そのチャンスタイムは誤解され易くて更にラベルする」ということは事実と異なればそれは転げ落ちるということはない fact3: 「赤しけど歩き難くないとすると小麦胚芽でない」物はある fact4: 「「受け辛くてまたリニューアルしない」ということは成り立たないならば市餅でない」物はある fact5: 仮に「あの島国日本は実行し易いし忘れ易い」ということは真実でないならば閉じ籠もらない fact6: 「もし配列変数であるとしたらとろ臭くない」物はある fact7: もし「「その愛郷はロッシュだが集め易くない」ということは正しい」ということは偽であるならば三十年以上でない fact8: 「もし仮に「滑り易いししかも閉じ籠もる」ということは間違いであるとするとラベルしない」ものはある fact9: 「「仮に「乾き易い一方で信仰深くない」ということは成り立たないとすれば「狂い回る」ということは事実である」物はある」ということは成り立つ fact10: 「何かは土地売却であるが通し入れない」ということは誤りだとすれば悄気るない fact11: もしもあの島国日本がラベルしないとすれば六日生まれでない fact12: 「「仮にし得ないとすれば「帰隊しない」ということは成り立つ」物はある」ということは成り立つ fact13: 仮に「あの島国日本は滑り易いけれど閉じ籠もらない」ということは間違いならそれはラベルしない fact14: もしもこのＪＮＤＩが皮膚内だけど閉じ籠もるということはないとしたらそれは公文書でない ; $hypothesis$ = 「もし「滑り易いがしかし閉じ籠もらない」ということは成り立たないとすればラベルしない」物はある ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: 「もし「踏ん張るしかつバリアフリー対応でない」ということは事実でないとすると開通する」ものはある
事実2: もしも「そのチャンスタイムは誤解され易くて更にラベルする」ということは事実と異なればそれは転げ落ちるということはない
事実3: 「赤しけど歩き難くないとすると小麦胚芽でない」物はある
事実4: 「「受け辛くてまたリニューアルしない」ということは成り立たないならば市餅でない」物はある
事実5: 仮に「あの島国日本は実行し易いし忘れ易い」ということは真実でないならば閉じ籠もらない
事実6: 「もし配列変数であるとしたらとろ臭くない」物はある
事実7: もし「「その愛郷はロッシュだが集め易くない」ということは正しい」ということは偽であるならば三十年以上でない
事実8: 「もし仮に「滑り易いししかも閉じ籠もる」ということは間違いであるとするとラベルしない」ものはある
事実9: 「「仮に「乾き易い一方で信仰深くない」ということは成り立たないとすれば「狂い回る」ということは事実である」物はある」ということは成り立つ
事実10: 「何かは土地売却であるが通し入れない」ということは誤りだとすれば悄気るない
事実11: もしもあの島国日本がラベルしないとすれば六日生まれでない
事実12: 「「仮にし得ないとすれば「帰隊しない」ということは成り立つ」物はある」ということは成り立つ
事実13: 仮に「あの島国日本は滑り易いけれど閉じ籠もらない」ということは間違いならそれはラベルしない
事実14: もしもこのＪＮＤＩが皮膚内だけど閉じ籠もるということはないとしたらそれは公文書でない

仮説: 「もし「滑り易いがしかし閉じ籠もらない」ということは成り立たないとすればラベルしない」物はある
1. 事実13から、仮説が導かれる

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