「「大目付けでなくておまけに固くない」ということは誤っているとすればペナルティ・ストップでない」物はある
fact1: 仮に「「その有識は固いけれどロンドン郊外でない」ということは成り立たない」ということは確かだとすればそれは訪問看護指導でない fact2: 「もし仮に「筆ペンであるがしかし過ごし易くない」ということは偽ならば咲き乱れない」物はある fact3: 「その有識は老住職であるがそれはペナルティ・ストップでない」ということは成り立つということはないとすればそれは過ごし易くない fact4: もしも「あの履歴ループは嫁すらないし更にそれはオフサイド・ケアでない」ということは間違っているとすると捗々しい fact5: もしその有識が固いとすればそれはペナルティ・ストップでない fact6: 「もし仮に「乱れ飛ばないししかも気付き易い」ということは成り立たないならば局内だということはない」ものはある fact7: もし「その有識はペナルティ・ストップでないし冒涜しない」ということは成り立たないとすると雪深くない fact8: 仮に「何かは鳥島開拓でないししかも再発し易くない」ということは成り立たないとすると「それは強圧法でない」ということは正しい fact9: 「もしも「微笑ましいということはなくて中間でない」ということは間違いならば伝え難くない」ものはある fact10: 「もしも「心強くないけど与し易い」ということは成り立たないとすると恭しくない」物はある fact11: 「もしも日本全体ならば出直さない」物はある fact12: 「仮に「翻転するということはないしそれに集計するということはない」ということは間違いであるとすればＬＭＴＰであるということはない」ものはある fact13: その有識が強しということはないし加えて大目付けでないとすればそれは捗々しくない fact14: 仮に「あのモビールは固くなくてその上湿式以外でない」ということは誤っていればそれは中国株だ fact15: もし仮に「その有識は御越し頂くということはなくてしかも疲れ易いということはない」ということは事実と異なるなら固くない fact16: 「もし仮に大目付けでなくて固くないならばペナルティ・ストップでない」ものはある fact17: もしも「その有識は大目付けでないし固くない」ということは偽であるとするとペナルティ・ストップでない fact18: もしもこの恐慌が近くないし更にそれが咲き乱れるということはないとしたら大王世代系譜であるということはない fact19: 「もしも固いとすると「ペナルティ・ストップでない」ということは真実である」物はある
fact17 -> hypothesis;
「もしも「鳥島開拓だということはなくてそれに再発し易くない」ということは成り立つということはないとすれば強圧法でない」物はある
fact20 -> int1: もし「このオーバープリントカラーは鳥島開拓でなくて加えてそれは再発し易いということはない」ということは確かでないならば「強圧法でない」ということは真実だ; int1 -> hypothesis;
$facts$ = fact1: 仮に「「その有識は固いけれどロンドン郊外でない」ということは成り立たない」ということは確かだとすればそれは訪問看護指導でない fact2: 「もし仮に「筆ペンであるがしかし過ごし易くない」ということは偽ならば咲き乱れない」物はある fact3: 「その有識は老住職であるがそれはペナルティ・ストップでない」ということは成り立つということはないとすればそれは過ごし易くない fact4: もしも「あの履歴ループは嫁すらないし更にそれはオフサイド・ケアでない」ということは間違っているとすると捗々しい fact5: もしその有識が固いとすればそれはペナルティ・ストップでない fact6: 「もし仮に「乱れ飛ばないししかも気付き易い」ということは成り立たないならば局内だということはない」ものはある fact7: もし「その有識はペナルティ・ストップでないし冒涜しない」ということは成り立たないとすると雪深くない fact8: 仮に「何かは鳥島開拓でないししかも再発し易くない」ということは成り立たないとすると「それは強圧法でない」ということは正しい fact9: 「もしも「微笑ましいということはなくて中間でない」ということは間違いならば伝え難くない」ものはある fact10: 「もしも「心強くないけど与し易い」ということは成り立たないとすると恭しくない」物はある fact11: 「もしも日本全体ならば出直さない」物はある fact12: 「仮に「翻転するということはないしそれに集計するということはない」ということは間違いであるとすればＬＭＴＰであるということはない」ものはある fact13: その有識が強しということはないし加えて大目付けでないとすればそれは捗々しくない fact14: 仮に「あのモビールは固くなくてその上湿式以外でない」ということは誤っていればそれは中国株だ fact15: もし仮に「その有識は御越し頂くということはなくてしかも疲れ易いということはない」ということは事実と異なるなら固くない fact16: 「もし仮に大目付けでなくて固くないならばペナルティ・ストップでない」ものはある fact17: もしも「その有識は大目付けでないし固くない」ということは偽であるとするとペナルティ・ストップでない fact18: もしもこの恐慌が近くないし更にそれが咲き乱れるということはないとしたら大王世代系譜であるということはない fact19: 「もしも固いとすると「ペナルティ・ストップでない」ということは真実である」物はある ; $hypothesis$ = 「「大目付けでなくておまけに固くない」ということは誤っているとすればペナルティ・ストップでない」物はある ; $proof$ = 
fact17 -> hypothesis; __PROVED__
事実1: 仮に「「その有識は固いけれどロンドン郊外でない」ということは成り立たない」ということは確かだとすればそれは訪問看護指導でない
事実2: 「もし仮に「筆ペンであるがしかし過ごし易くない」ということは偽ならば咲き乱れない」物はある
事実3: 「その有識は老住職であるがそれはペナルティ・ストップでない」ということは成り立つということはないとすればそれは過ごし易くない
事実4: もしも「あの履歴ループは嫁すらないし更にそれはオフサイド・ケアでない」ということは間違っているとすると捗々しい
事実5: もしその有識が固いとすればそれはペナルティ・ストップでない
事実6: 「もし仮に「乱れ飛ばないししかも気付き易い」ということは成り立たないならば局内だということはない」ものはある
事実7: もし「その有識はペナルティ・ストップでないし冒涜しない」ということは成り立たないとすると雪深くない
事実8: 仮に「何かは鳥島開拓でないししかも再発し易くない」ということは成り立たないとすると「それは強圧法でない」ということは正しい
事実9: 「もしも「微笑ましいということはなくて中間でない」ということは間違いならば伝え難くない」ものはある
事実10: 「もしも「心強くないけど与し易い」ということは成り立たないとすると恭しくない」物はある
事実11: 「もしも日本全体ならば出直さない」物はある
事実12: 「仮に「翻転するということはないしそれに集計するということはない」ということは間違いであるとすればＬＭＴＰであるということはない」ものはある
事実13: その有識が強しということはないし加えて大目付けでないとすればそれは捗々しくない
事実14: 仮に「あのモビールは固くなくてその上湿式以外でない」ということは誤っていればそれは中国株だ
事実15: もし仮に「その有識は御越し頂くということはなくてしかも疲れ易いということはない」ということは事実と異なるなら固くない
事実16: 「もし仮に大目付けでなくて固くないならばペナルティ・ストップでない」ものはある
事実17: もしも「その有識は大目付けでないし固くない」ということは偽であるとするとペナルティ・ストップでない
事実18: もしもこの恐慌が近くないし更にそれが咲き乱れるということはないとしたら大王世代系譜であるということはない
事実19: 「もしも固いとすると「ペナルティ・ストップでない」ということは真実である」物はある

仮説: 「「大目付けでなくておまけに固くない」ということは誤っているとすればペナルティ・ストップでない」物はある
1. 事実17から、仮説が導かれる

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