あの大帝国は喜ばしい
fact1: 「あの大帝国は喜ばしかない」ということは成り立つ fact2: 何かはちっこくないとすると観測値だし喜ばしい
fact1 -> hypothesis;
fact1 -> hypothesis;
あの大帝国は喜ばしい
fact3 -> int1: もしあの大帝国がちっこくないとするとそれは観測値だししかも喜ばしい;
$facts$ = fact1: 「あの大帝国は喜ばしかない」ということは成り立つ fact2: 何かはちっこくないとすると観測値だし喜ばしい ; $hypothesis$ = あの大帝国は喜ばしい ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: 「あの大帝国は喜ばしかない」ということは成り立つ
事実2: 何かはちっこくないとすると観測値だし喜ばしい

仮説: あの大帝国は喜ばしい
1. 事実1から、仮説が否定される

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