その卓袱台は反論出来る
fact1: このルミフロンは使い辛い fact2: もしもこのルミフロンが二重回しだし更に使い辛いとしたらその卓袱台は反論出来ない fact3: このルミフロンは二重回しだ
fact3 & fact1 -> int1: このルミフロンは二重回しであるしおまけに使い辛い; int1 & fact2 -> hypothesis;
fact3 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> hypothesis;
$facts$ = fact1: このルミフロンは使い辛い fact2: もしもこのルミフロンが二重回しだし更に使い辛いとしたらその卓袱台は反論出来ない fact3: このルミフロンは二重回しだ ; $hypothesis$ = その卓袱台は反論出来る ; $proof$ = 
fact3 & fact1 -> int1: このルミフロンは二重回しであるしおまけに使い辛い; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: このルミフロンは使い辛い
事実2: もしもこのルミフロンが二重回しだし更に使い辛いとしたらその卓袱台は反論出来ない
事実3: このルミフロンは二重回しだ

仮説: その卓袱台は反論出来る
1. 事実3と事実1から、推論1: "このルミフロンは二重回しであるしおまけに使い辛い"が導かれる
2. 推論1と事実2から、仮説が否定される

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