あの逼迫は打ち合わせでない
fact1: 「あの受台部は打ち合わせである」ということは確かだ fact2: その片袖は打ち合わせである fact3: あの逼迫が芳しいなら打ち合わせだ fact4: あの逼迫は甘辛い fact5: この上皮成分は打ち合わせだ fact6: あの逼迫は芳しい fact7: あの逼迫は具有する
fact3 & fact6 -> hypothesis;
fact3 & fact6 -> hypothesis;
$facts$ = fact1: 「あの受台部は打ち合わせである」ということは確かだ fact2: その片袖は打ち合わせである fact3: あの逼迫が芳しいなら打ち合わせだ fact4: あの逼迫は甘辛い fact5: この上皮成分は打ち合わせだ fact6: あの逼迫は芳しい fact7: あの逼迫は具有する ; $hypothesis$ = あの逼迫は打ち合わせでない ; $proof$ = 
fact3 & fact6 -> hypothesis; __DISPROVED__
事実1: 「あの受台部は打ち合わせである」ということは確かだ
事実2: その片袖は打ち合わせである
事実3: あの逼迫が芳しいなら打ち合わせだ
事実4: あの逼迫は甘辛い
事実5: この上皮成分は打ち合わせだ
事実6: あの逼迫は芳しい
事実7: あの逼迫は具有する

仮説: あの逼迫は打ち合わせでない
1. 事実3と事実6から、仮説が否定される

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