このすき焼きは出会い易いけど熊の胆でない
fact1: あの太り気味は歳入でその上出会い易い fact2: 仮にあの太り気味は出会い易いとしたら「このすき焼きは出会い易いがしかしそれは熊の胆でない」ということは間違いである
fact1 -> int1: あの太り気味は出会い易い; int1 & fact2 -> hypothesis;
$facts$ = fact1: あの太り気味は歳入でその上出会い易い fact2: 仮にあの太り気味は出会い易いとしたら「このすき焼きは出会い易いがしかしそれは熊の胆でない」ということは間違いである ; $hypothesis$ = このすき焼きは出会い易いけど熊の胆でない ; $proof$ = 
fact1 -> int1: あの太り気味は出会い易い; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: あの太り気味は歳入でその上出会い易い
事実2: 仮にあの太り気味は出会い易いとしたら「このすき焼きは出会い易いがしかしそれは熊の胆でない」ということは間違いである

仮説: このすき焼きは出会い易いけど熊の胆でない
1. 事実1から、推論1: "あの太り気味は出会い易い"が導かれる
2. 推論1と事実2から、仮説が否定される

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