「もしも「間違え易くない」ということは本当であるとしたら執念深くない」ものはある
fact1: 「仮に間違え易いとすれば執念深くない」物はある fact2: 「仮に御願い出来ないとしたらヒットチャートである」ものはある fact3: 「もし考うないなら紫色である」物はある fact4: もしあのイン・プレーは話し難くないならば土日祝である fact5: もしその出しは素晴らしないとすれば「執念深くない」ということは間違っていない fact6: 「もしもダブル・クリックしないとすれば氏でない」ものはある fact7: 「理解し得ないなら実入りである」ものはある fact8: 仮に「その島梟さんは力士である」ということは事実ならそれはマッピングしない fact9: 仮にあのアウトニアが間違え易くないなら執念深くない fact10: もしもなにがしかのものは十億円未満でないならばまどろっこしくらない fact11: 「仮に間違え易くないとしたら執念深い」物はある fact12: もしあのアウトニアがエクスプローラーだとすれば執念深くない fact13: 仮に「あのアウトニアは間違え易い」ということは正しいとすれば「執念深くない」ということは嘘でない fact14: 「もし仮に育児支援でないなら御囃子である」ものはある fact15: 仮にあのアウトニアは間違え易くないとしたら「執念深い」ということは間違いでない fact16: もしあのアウトニアが執念深くないとすればそれは角張成阿弥陀仏でない fact17: 「もし仮に「例外無いということはない」ということは本当であるとしたら放散するということはない」物はある fact18: 仮に何かは鳴動しないならば間違え易くない fact19: 「「仮に現行犯逮捕しないとすれば解析出来る」ものはある」ということは真実である fact20: もしそのシンボリックリンクが間違え易くないとするとホノルルマラソンである
fact9 -> hypothesis;
fact9 -> hypothesis;
「もし十億円未満でないとするとまどろっこしくらない」物はある
fact21 -> int1: この時制は十億円未満でないならば「それはまどろっこしくらない」ということは事実だ; int1 -> hypothesis;
$facts$ = fact1: 「仮に間違え易いとすれば執念深くない」物はある fact2: 「仮に御願い出来ないとしたらヒットチャートである」ものはある fact3: 「もし考うないなら紫色である」物はある fact4: もしあのイン・プレーは話し難くないならば土日祝である fact5: もしその出しは素晴らしないとすれば「執念深くない」ということは間違っていない fact6: 「もしもダブル・クリックしないとすれば氏でない」ものはある fact7: 「理解し得ないなら実入りである」ものはある fact8: 仮に「その島梟さんは力士である」ということは事実ならそれはマッピングしない fact9: 仮にあのアウトニアが間違え易くないなら執念深くない fact10: もしもなにがしかのものは十億円未満でないならばまどろっこしくらない fact11: 「仮に間違え易くないとしたら執念深い」物はある fact12: もしあのアウトニアがエクスプローラーだとすれば執念深くない fact13: 仮に「あのアウトニアは間違え易い」ということは正しいとすれば「執念深くない」ということは嘘でない fact14: 「もし仮に育児支援でないなら御囃子である」ものはある fact15: 仮にあのアウトニアは間違え易くないとしたら「執念深い」ということは間違いでない fact16: もしあのアウトニアが執念深くないとすればそれは角張成阿弥陀仏でない fact17: 「もし仮に「例外無いということはない」ということは本当であるとしたら放散するということはない」物はある fact18: 仮に何かは鳴動しないならば間違え易くない fact19: 「「仮に現行犯逮捕しないとすれば解析出来る」ものはある」ということは真実である fact20: もしそのシンボリックリンクが間違え易くないとするとホノルルマラソンである ; $hypothesis$ = 「もしも「間違え易くない」ということは本当であるとしたら執念深くない」ものはある ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: 「仮に間違え易いとすれば執念深くない」物はある
事実2: 「仮に御願い出来ないとしたらヒットチャートである」ものはある
事実3: 「もし考うないなら紫色である」物はある
事実4: もしあのイン・プレーは話し難くないならば土日祝である
事実5: もしその出しは素晴らしないとすれば「執念深くない」ということは間違っていない
事実6: 「もしもダブル・クリックしないとすれば氏でない」ものはある
事実7: 「理解し得ないなら実入りである」ものはある
事実8: 仮に「その島梟さんは力士である」ということは事実ならそれはマッピングしない
事実9: 仮にあのアウトニアが間違え易くないなら執念深くない
事実10: もしもなにがしかのものは十億円未満でないならばまどろっこしくらない
事実11: 「仮に間違え易くないとしたら執念深い」物はある
事実12: もしあのアウトニアがエクスプローラーだとすれば執念深くない
事実13: 仮に「あのアウトニアは間違え易い」ということは正しいとすれば「執念深くない」ということは嘘でない
事実14: 「もし仮に育児支援でないなら御囃子である」ものはある
事実15: 仮にあのアウトニアは間違え易くないとしたら「執念深い」ということは間違いでない
事実16: もしあのアウトニアが執念深くないとすればそれは角張成阿弥陀仏でない
事実17: 「もし仮に「例外無いということはない」ということは本当であるとしたら放散するということはない」物はある
事実18: 仮に何かは鳴動しないならば間違え易くない
事実19: 「「仮に現行犯逮捕しないとすれば解析出来る」ものはある」ということは真実である
事実20: もしそのシンボリックリンクが間違え易くないとするとホノルルマラソンである

仮説: 「もしも「間違え易くない」ということは本当であるとしたら執念深くない」ものはある
1. 事実9から、仮説が導かれる

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