あの四号館は改変しなくて現われ難いということはない
fact1: 仮に「火勢な」ものがあるとするとあの四号館は改変しないしそれは現われ難くない fact2: 「「「現われ難い」ということは確かな」ものはある」ということは正しい fact3: 抜け易い物は運び込むということはないしおまけに火勢でない fact4: もし何かは火勢でないとしたら「改変しないしそれは現われ難くない」ということは成り立たない fact5: 「火勢である」ものはある fact6: あの四号館は現われ難いということはない fact7: もしある物が火勢だとすればあの四号館は現われ難くない
fact5 & fact1 -> hypothesis;
fact5 & fact1 -> hypothesis;
「あの四号館は改変しないし現われ難くない」ということは嘘だ
fact8 -> int1: もしも「あの四号館は火勢でない」ということは成り立つとすると「それは改変しなくて現われ難くない」ということは誤りである; fact9 -> int2: もしもあの四号館が抜け易いならばそれは運び込まないしさらに火勢でない;
$facts$ = fact1: 仮に「火勢な」ものがあるとするとあの四号館は改変しないしそれは現われ難くない fact2: 「「「現われ難い」ということは確かな」ものはある」ということは正しい fact3: 抜け易い物は運び込むということはないしおまけに火勢でない fact4: もし何かは火勢でないとしたら「改変しないしそれは現われ難くない」ということは成り立たない fact5: 「火勢である」ものはある fact6: あの四号館は現われ難いということはない fact7: もしある物が火勢だとすればあの四号館は現われ難くない ; $hypothesis$ = あの四号館は改変しなくて現われ難いということはない ; $proof$ = 
fact5 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「火勢な」ものがあるとするとあの四号館は改変しないしそれは現われ難くない
事実2: 「「「現われ難い」ということは確かな」ものはある」ということは正しい
事実3: 抜け易い物は運び込むということはないしおまけに火勢でない
事実4: もし何かは火勢でないとしたら「改変しないしそれは現われ難くない」ということは成り立たない
事実5: 「火勢である」ものはある
事実6: あの四号館は現われ難いということはない
事実7: もしある物が火勢だとすればあの四号館は現われ難くない

仮説: あの四号館は改変しなくて現われ難いということはない
1. 事実5と事実1から、仮説が導かれる

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