「もしも府県制だとしたら接岸しない」ものはある
fact1: 「もし仮に大繁殖すれば簡便しない」物はある fact2: 「仮に「あの特定話者割り引きは相互会社である」ということは成り立つとするとあの特定話者割り引きは府県制だということはない」ということは間違いでない fact3: もし仮になにかは濃染めするとしたらそれは若者らしいということはない fact4: 「仮に徹底抗戦するとすると閉館しない」ものはある fact5: もしもあの日帰り入浴はＬＩＦであるとすると府県制でない fact6: もしもあの前輪駆動車が接岸すればそれは取り交わさない fact7: もしあの難破船は海外子女であるならそれは心置き無くない fact8: もし「あの特定話者割り引きは町長さんだ」ということは成り立てばそれは接岸しない fact9: 「その静注用は接岸する」ということは成り立つとしたら出れない fact10: 「府県制ならば接岸する」ものはある fact11: 「もしも他部族であるならば正しない」ものはある fact12: 「もしあの特定話者割り引きが無理無いとしたらあの特定話者割り引きは府県制でない」ということは事実である fact13: 仮にあの境涯は如上であるとすると府県制だということはない fact14: 「あの特定話者割り引きは府県制である」ということは確かなら接岸しない fact15: あの特定話者割り引きは府県制だとすると「それは接岸する」ということは本当である fact16: 仮にあの特定話者割り引きは接岸すれば「立ち続けない」ということは事実である fact17: 仮にあの特定話者割り引きは府県制であるとすればＥＰＣでない
fact14 -> hypothesis;
fact14 -> hypothesis;
もし仮にあの特定話者割り引きが濃染めするならそれは若者らしくない
fact18 -> hypothesis;
$facts$ = fact1: 「もし仮に大繁殖すれば簡便しない」物はある fact2: 「仮に「あの特定話者割り引きは相互会社である」ということは成り立つとするとあの特定話者割り引きは府県制だということはない」ということは間違いでない fact3: もし仮になにかは濃染めするとしたらそれは若者らしいということはない fact4: 「仮に徹底抗戦するとすると閉館しない」ものはある fact5: もしもあの日帰り入浴はＬＩＦであるとすると府県制でない fact6: もしもあの前輪駆動車が接岸すればそれは取り交わさない fact7: もしあの難破船は海外子女であるならそれは心置き無くない fact8: もし「あの特定話者割り引きは町長さんだ」ということは成り立てばそれは接岸しない fact9: 「その静注用は接岸する」ということは成り立つとしたら出れない fact10: 「府県制ならば接岸する」ものはある fact11: 「もしも他部族であるならば正しない」ものはある fact12: 「もしあの特定話者割り引きが無理無いとしたらあの特定話者割り引きは府県制でない」ということは事実である fact13: 仮にあの境涯は如上であるとすると府県制だということはない fact14: 「あの特定話者割り引きは府県制である」ということは確かなら接岸しない fact15: あの特定話者割り引きは府県制だとすると「それは接岸する」ということは本当である fact16: 仮にあの特定話者割り引きは接岸すれば「立ち続けない」ということは事実である fact17: 仮にあの特定話者割り引きは府県制であるとすればＥＰＣでない ; $hypothesis$ = 「もしも府県制だとしたら接岸しない」ものはある ; $proof$ = 
fact14 -> hypothesis; __PROVED__
事実1: 「もし仮に大繁殖すれば簡便しない」物はある
事実2: 「仮に「あの特定話者割り引きは相互会社である」ということは成り立つとするとあの特定話者割り引きは府県制だということはない」ということは間違いでない
事実3: もし仮になにかは濃染めするとしたらそれは若者らしいということはない
事実4: 「仮に徹底抗戦するとすると閉館しない」ものはある
事実5: もしもあの日帰り入浴はＬＩＦであるとすると府県制でない
事実6: もしもあの前輪駆動車が接岸すればそれは取り交わさない
事実7: もしあの難破船は海外子女であるならそれは心置き無くない
事実8: もし「あの特定話者割り引きは町長さんだ」ということは成り立てばそれは接岸しない
事実9: 「その静注用は接岸する」ということは成り立つとしたら出れない
事実10: 「府県制ならば接岸する」ものはある
事実11: 「もしも他部族であるならば正しない」ものはある
事実12: 「もしあの特定話者割り引きが無理無いとしたらあの特定話者割り引きは府県制でない」ということは事実である
事実13: 仮にあの境涯は如上であるとすると府県制だということはない
事実14: 「あの特定話者割り引きは府県制である」ということは確かなら接岸しない
事実15: あの特定話者割り引きは府県制だとすると「それは接岸する」ということは本当である
事実16: 仮にあの特定話者割り引きは接岸すれば「立ち続けない」ということは事実である
事実17: 仮にあの特定話者割り引きは府県制であるとすればＥＰＣでない

仮説: 「もしも府県制だとしたら接岸しない」ものはある
1. 事実14から、仮説が導かれる

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