「「もし仮に歴史地理学だとすれば闖入しないけれど結実する」物はある」ということは成り立たない
fact1: 「もし仮に歴史地理学だとすれば結実する」物はある fact2: 仮にこのピストンスピードが歴史地理学だとすると闖入しないけど結実する fact3: もし仮にこのピストンスピードが歴史地理学だとしたら結実する fact4: もしこの譲りが輻湊するとすれば結実するということはない一方でばんけいスキー場だ fact5: 「もしも歴史地理学だとすると「闖入するし結実する」ということは間違いでない」ものはある fact6: もしあるものが討議するとすれば賛成し難くないけどイメージング時だ fact7: 仮にこのピストンスピードが歴史地理学であるとすればそれは闖入するしそれは結実する fact8: 「仮に歴史地理学であるなら闖入しない」ものはある
fact2 -> hypothesis;
「仮に討議するなら賛成し難くないししかもイメージング時である」物はある
fact9 -> int1: 仮に「この日野ＫＣ‐ＲＸは討議する」ということは確かであるとしたら賛成し難くないけどイメージング時である; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に歴史地理学だとすれば結実する」物はある fact2: 仮にこのピストンスピードが歴史地理学だとすると闖入しないけど結実する fact3: もし仮にこのピストンスピードが歴史地理学だとしたら結実する fact4: もしこの譲りが輻湊するとすれば結実するということはない一方でばんけいスキー場だ fact5: 「もしも歴史地理学だとすると「闖入するし結実する」ということは間違いでない」ものはある fact6: もしあるものが討議するとすれば賛成し難くないけどイメージング時だ fact7: 仮にこのピストンスピードが歴史地理学であるとすればそれは闖入するしそれは結実する fact8: 「仮に歴史地理学であるなら闖入しない」ものはある ; $hypothesis$ = 「「もし仮に歴史地理学だとすれば闖入しないけれど結実する」物はある」ということは成り立たない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 「もし仮に歴史地理学だとすれば結実する」物はある
事実2: 仮にこのピストンスピードが歴史地理学だとすると闖入しないけど結実する
事実3: もし仮にこのピストンスピードが歴史地理学だとしたら結実する
事実4: もしこの譲りが輻湊するとすれば結実するということはない一方でばんけいスキー場だ
事実5: 「もしも歴史地理学だとすると「闖入するし結実する」ということは間違いでない」ものはある
事実6: もしあるものが討議するとすれば賛成し難くないけどイメージング時だ
事実7: 仮にこのピストンスピードが歴史地理学であるとすればそれは闖入するしそれは結実する
事実8: 「仮に歴史地理学であるなら闖入しない」ものはある

仮説: 「「もし仮に歴史地理学だとすれば闖入しないけれど結実する」物はある」ということは成り立たない
1. 事実2から、仮説が否定される

よって、仮説が否定されました。