その流動は間違い無い
fact1: この生活レベルは間違い無くない fact2: その流動は動力性能である fact3: その流動は食べ比べる fact4: もしある物は食べ比べるしかつ動力性能であるとすると間違い無くない fact5: その螺鈿細工は食べ比べる
fact4 -> int1: もし仮にその流動は食べ比べるしさらに動力性能だとすれば間違い無くない; fact3 & fact2 -> int2: その流動は食べ比べるし動力性能だ; int1 & int2 -> hypothesis;
fact4 -> int1: ({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; fact3 & fact2 -> int2: ({AA}{aa} & {AB}{aa}); int1 & int2 -> hypothesis;
$facts$ = fact1: この生活レベルは間違い無くない fact2: その流動は動力性能である fact3: その流動は食べ比べる fact4: もしある物は食べ比べるしかつ動力性能であるとすると間違い無くない fact5: その螺鈿細工は食べ比べる ; $hypothesis$ = その流動は間違い無い ; $proof$ = 
fact4 -> int1: もし仮にその流動は食べ比べるしさらに動力性能だとすれば間違い無くない; fact3 & fact2 -> int2: その流動は食べ比べるし動力性能だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この生活レベルは間違い無くない
事実2: その流動は動力性能である
事実3: その流動は食べ比べる
事実4: もしある物は食べ比べるしかつ動力性能であるとすると間違い無くない
事実5: その螺鈿細工は食べ比べる

仮説: その流動は間違い無い
1. 事実4から、推論1: "もし仮にその流動は食べ比べるしさらに動力性能だとすれば間違い無くない"が導かれる
2. 事実3と事実2から、推論2: "その流動は食べ比べるし動力性能だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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