この輸入盤は糧食でない
fact1: その厚手綿布は釣瓶でなくてむさいということはないとしたら「この輸入盤は糧食である」ということは確かである fact2: 仮にこの業務上認定が取れ易くないとすればあの厚手綿布は釣瓶でないしむさくない fact3: 「この業務上認定は取れ易くない」ということは嘘でない
fact2 & fact3 -> int1: その厚手綿布は釣瓶であるということはないしさらにそれはむさくない; int1 & fact1 -> hypothesis;
fact2 & fact3 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 & fact1 -> hypothesis;
$facts$ = fact1: その厚手綿布は釣瓶でなくてむさいということはないとしたら「この輸入盤は糧食である」ということは確かである fact2: 仮にこの業務上認定が取れ易くないとすればあの厚手綿布は釣瓶でないしむさくない fact3: 「この業務上認定は取れ易くない」ということは嘘でない ; $hypothesis$ = この輸入盤は糧食でない ; $proof$ = 
fact2 & fact3 -> int1: その厚手綿布は釣瓶であるということはないしさらにそれはむさくない; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: その厚手綿布は釣瓶でなくてむさいということはないとしたら「この輸入盤は糧食である」ということは確かである
事実2: 仮にこの業務上認定が取れ易くないとすればあの厚手綿布は釣瓶でないしむさくない
事実3: 「この業務上認定は取れ易くない」ということは嘘でない

仮説: この輸入盤は糧食でない
1. 事実2と事実3から、推論1: "その厚手綿布は釣瓶であるということはないしさらにそれはむさくない"が導かれる
2. 推論1と事実1から、仮説が否定される

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