あの二日以降は御返り為さる
fact1: あの象牙彫刻展は御返り為さらない fact2: あの右前は御返り為さらない fact3: あの二日以降は明け放さない fact4: あの二日以降は御返り為さらない fact5: 仮になにがしかのものが軍事産業委員会であるかまたは販売‐商品テーブルであるかあるいは両方であるとすればそれは御返り為さるということはない
fact4 -> hypothesis;
fact4 -> hypothesis;
その肯定文は御返り為さらない
fact6 -> int1: もしその肯定文は軍事産業委員会であるかもしくは販売‐商品テーブルであるかまたは両方ともならそれは御返り為さらない;
$facts$ = fact1: あの象牙彫刻展は御返り為さらない fact2: あの右前は御返り為さらない fact3: あの二日以降は明け放さない fact4: あの二日以降は御返り為さらない fact5: 仮になにがしかのものが軍事産業委員会であるかまたは販売‐商品テーブルであるかあるいは両方であるとすればそれは御返り為さるということはない ; $hypothesis$ = あの二日以降は御返り為さる ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: あの象牙彫刻展は御返り為さらない
事実2: あの右前は御返り為さらない
事実3: あの二日以降は明け放さない
事実4: あの二日以降は御返り為さらない
事実5: 仮になにがしかのものが軍事産業委員会であるかまたは販売‐商品テーブルであるかあるいは両方であるとすればそれは御返り為さるということはない

仮説: あの二日以降は御返り為さる
1. 事実4から、仮説が否定される

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