「もしスクリプト言語でないならば倹しいということはないか恥ずかしくない」ものはある
fact1: もし仮にそのカウントは最頻値でないならば財政権でないか恥ずかしくないかまたは両方である fact2: 仮にそのカウントがスクリプト言語でないなら倹しかないかまたはそれは恥ずかしいかあるいは両方である fact3: 「もし非難がましかないならば「薄青いということはないかぱさぱさしないか両方ともである」ということは正しい」物はある fact4: そのカウントはスクリプト言語でないならそれは倹しいかまたは恥ずかしくない fact5: 「仮にスクリプト言語だということはないならば倹しかないかまたは恥ずかしい」物はある fact6: もし仮にそのカルビニズムが社会主義者でないならば押し退けないかもしくは最大時速でないかあるいは両方だ fact7: 「仮に発生し難くないとしたらどでかいということはないかもしくは期し難くないかもしくはどちらもである」物はある fact8: 仮にそのカウントが恥ずかしくないならばクルージングでないかあるいはそれは心細くないかあるいはどちらもである fact9: 「もし仮にスクリプト言語なら倹しかないか恥ずかしくないかもしくはどちらもである」ものはある fact10: 「もし「言い易くない」ということは事実ならば弾き易いということはないかあるいは最大時速でないかもしくは両方ともな」物はある fact11: もしそのカウントが呼び易くないとしたらそれは欲深くないかあるいは倹しかないか両方だ fact12: 「仮に学科でないとすると与え難くないか期し難くないか両方ともである」ものはある fact13: そのカウントがスクリプト言語であるならそれは倹しかないか恥ずかしいということはないかまたはどちらもだ fact14: 「もし「スクリプト言語でない」ということは成り立つとすると倹しいかあるいは恥ずかしくないかもしくは両方ともである」ものはある fact15: 「国衙領でないとすれば企業化だということはないか法定相続人であるということはないかあるいは両方である」ものはある fact16: イメージし易いということはないものは開き易いということはないかもしくは事業場外でないかあるいはどちらもだ fact17: 「白々しいということはないとすれば纏まらないかまたは見辛くないかもしくは両方な」ものはある fact18: もし仮にそのカウントが身軽くないとすればそれは外套でないかもしくは恥ずかしくないかもしくはどちらもである fact19: もしもそのカウントがスクリプト言語だということはないとするとそれは倹しかないか恥ずかしくないかあるいは両方だ
fact19 -> 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$ = 
fact19 -> hypothesis; __PROVED__
事実1: もし仮にそのカウントは最頻値でないならば財政権でないか恥ずかしくないかまたは両方である
事実2: 仮にそのカウントがスクリプト言語でないなら倹しかないかまたはそれは恥ずかしいかあるいは両方である
事実3: 「もし非難がましかないならば「薄青いということはないかぱさぱさしないか両方ともである」ということは正しい」物はある
事実4: そのカウントはスクリプト言語でないならそれは倹しいかまたは恥ずかしくない
事実5: 「仮にスクリプト言語だということはないならば倹しかないかまたは恥ずかしい」物はある
事実6: もし仮にそのカルビニズムが社会主義者でないならば押し退けないかもしくは最大時速でないかあるいは両方だ
事実7: 「仮に発生し難くないとしたらどでかいということはないかもしくは期し難くないかもしくはどちらもである」物はある
事実8: 仮にそのカウントが恥ずかしくないならばクルージングでないかあるいはそれは心細くないかあるいはどちらもである
事実9: 「もし仮にスクリプト言語なら倹しかないか恥ずかしくないかもしくはどちらもである」ものはある
事実10: 「もし「言い易くない」ということは事実ならば弾き易いということはないかあるいは最大時速でないかもしくは両方ともな」物はある
事実11: もしそのカウントが呼び易くないとしたらそれは欲深くないかあるいは倹しかないか両方だ
事実12: 「仮に学科でないとすると与え難くないか期し難くないか両方ともである」ものはある
事実13: そのカウントがスクリプト言語であるならそれは倹しかないか恥ずかしいということはないかまたはどちらもだ
事実14: 「もし「スクリプト言語でない」ということは成り立つとすると倹しいかあるいは恥ずかしくないかもしくは両方ともである」ものはある
事実15: 「国衙領でないとすれば企業化だということはないか法定相続人であるということはないかあるいは両方である」ものはある
事実16: イメージし易いということはないものは開き易いということはないかもしくは事業場外でないかあるいはどちらもだ
事実17: 「白々しいということはないとすれば纏まらないかまたは見辛くないかもしくは両方な」ものはある
事実18: もし仮にそのカウントが身軽くないとすればそれは外套でないかもしくは恥ずかしくないかもしくはどちらもである
事実19: もしもそのカウントがスクリプト言語だということはないとするとそれは倹しかないか恥ずかしくないかあるいは両方だ

仮説: 「もしスクリプト言語でないならば倹しいということはないか恥ずかしくない」ものはある
1. 事実19から、仮説が導かれる

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