あのポメラニアンはハモる
fact1: もしそのデータ領域が一斉着信でないか大正末でないなら大正末でない fact2: 仮に「あの学習院は手荒いということはないしそれにしょぼくない」ということは事実と異なればその占有訴権は潜在しない fact3: あのポメラニアンは潜在しない fact4: その選対は潜在しない fact5: もしあのポメラニアンが潜在しないとすればハモる fact6: そのデータ領域は大正末でないなら「あの学習院は手荒くないししょぼいということはない」ということは誤っている
fact5 & fact3 -> hypothesis;
fact5 & fact3 -> hypothesis;
あのポメラニアンはハモるない
$facts$ = fact1: もしそのデータ領域が一斉着信でないか大正末でないなら大正末でない fact2: 仮に「あの学習院は手荒いということはないしそれにしょぼくない」ということは事実と異なればその占有訴権は潜在しない fact3: あのポメラニアンは潜在しない fact4: その選対は潜在しない fact5: もしあのポメラニアンが潜在しないとすればハモる fact6: そのデータ領域は大正末でないなら「あの学習院は手荒くないししょぼいということはない」ということは誤っている ; $hypothesis$ = あのポメラニアンはハモる ; $proof$ = 
fact5 & fact3 -> hypothesis; __PROVED__
事実1: もしそのデータ領域が一斉着信でないか大正末でないなら大正末でない
事実2: 仮に「あの学習院は手荒いということはないしそれにしょぼくない」ということは事実と異なればその占有訴権は潜在しない
事実3: あのポメラニアンは潜在しない
事実4: その選対は潜在しない
事実5: もしあのポメラニアンが潜在しないとすればハモる
事実6: そのデータ領域は大正末でないなら「あの学習院は手荒くないししょぼいということはない」ということは誤っている

仮説: あのポメラニアンはハモる
1. 事実5と事実3から、仮説が導かれる

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