その中小工場は器具である一方でオペレーター・ルームでない
fact1: その中小工場は器具である fact2: 仮にこの百貨は焼け窶れれば「「その中小工場は器具であるけどオペレーター・ルームでない」ということは本当である」ということは間違いだ fact3: その中小工場は焼け窶れるがしかしオペレーター・ルームでない fact4: もし仮にあるものが囁き合うということはないならば焼け窶れるしそれにそれはオペレーター・ルームである fact5: もしもあの不完全変態が呉服屋でないとするとこの百貨は焼け窶れるし更に囁き合う
fact3 -> int1: その中小工場はオペレーター・ルームでない; int1 & fact1 -> hypothesis;
fact3 -> int1: ¬{B}{a}; int1 & fact1 -> hypothesis;
「その中小工場は器具である一方でそれはオペレーター・ルームでない」ということは間違っている
$facts$ = fact1: その中小工場は器具である fact2: 仮にこの百貨は焼け窶れれば「「その中小工場は器具であるけどオペレーター・ルームでない」ということは本当である」ということは間違いだ fact3: その中小工場は焼け窶れるがしかしオペレーター・ルームでない fact4: もし仮にあるものが囁き合うということはないならば焼け窶れるしそれにそれはオペレーター・ルームである fact5: もしもあの不完全変態が呉服屋でないとするとこの百貨は焼け窶れるし更に囁き合う ; $hypothesis$ = その中小工場は器具である一方でオペレーター・ルームでない ; $proof$ = 
fact3 -> int1: その中小工場はオペレーター・ルームでない; int1 & fact1 -> hypothesis; __PROVED__
事実1: その中小工場は器具である
事実2: 仮にこの百貨は焼け窶れれば「「その中小工場は器具であるけどオペレーター・ルームでない」ということは本当である」ということは間違いだ
事実3: その中小工場は焼け窶れるがしかしオペレーター・ルームでない
事実4: もし仮にあるものが囁き合うということはないならば焼け窶れるしそれにそれはオペレーター・ルームである
事実5: もしもあの不完全変態が呉服屋でないとするとこの百貨は焼け窶れるし更に囁き合う

仮説: その中小工場は器具である一方でオペレーター・ルームでない
1. 事実3から、推論1: "その中小工場はオペレーター・ルームでない"が導かれる
2. 推論1と事実1から、仮説が導かれる

よって、仮説が証明されました。