このマリアージュは精製である
fact1: この再生能は考え始める fact2: 仮にこの再生能が考え始めるとすればこのマリアージュは一笑するが精製でない fact3: その蔚山Ａ洞海女は考え始める fact4: このマリアージュは一笑する fact5: もし仮に何らかの物が賞しないとすると精製であるししかも考え始める
fact2 & fact1 -> int1: このマリアージュは一笑するがしかし精製でない; int1 -> hypothesis;
fact2 & fact1 -> int1: ({AA}{b} & ¬{AB}{b}); int1 -> hypothesis;
「このマリアージュは精製だ」ということは事実である
fact6 -> int2: 仮にこのマリアージュが賞しないとしたらそれが精製だしそれに考え始める;
$facts$ = fact1: この再生能は考え始める fact2: 仮にこの再生能が考え始めるとすればこのマリアージュは一笑するが精製でない fact3: その蔚山Ａ洞海女は考え始める fact4: このマリアージュは一笑する fact5: もし仮に何らかの物が賞しないとすると精製であるししかも考え始める ; $hypothesis$ = このマリアージュは精製である ; $proof$ = 
fact2 & fact1 -> int1: このマリアージュは一笑するがしかし精製でない; int1 -> hypothesis; __DISPROVED__
事実1: この再生能は考え始める
事実2: 仮にこの再生能が考え始めるとすればこのマリアージュは一笑するが精製でない
事実3: その蔚山Ａ洞海女は考え始める
事実4: このマリアージュは一笑する
事実5: もし仮に何らかの物が賞しないとすると精製であるししかも考え始める

仮説: このマリアージュは精製である
1. 事実2と事実1から、推論1: "このマリアージュは一笑するがしかし精製でない"が導かれる
2. 推論1から、仮説が否定される

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