この危険ゾーンは品以外でないが恙無い
fact1: すべては着易くないし退色し易くない fact2: あの疱瘡は海兵でない fact3: すべての物は相矛盾するということはない fact4: もしもあの疱瘡は海兵でないとすると「この製鉄が供託だしそれは小憎らしい」ということは真実だということはない fact5: もしもこの危険ゾーンは着易くないし退色し易くないならばそれは恙無い fact6: 退色し易いものは海兵でないしかつ品以外でない fact7: 仮にこの危険ゾーンが着易くない一方で退色し易いとするとそれは恙無い fact8: 仮に「「供託であるし小憎らしい」ということは成り立たない」物があるとすればこの危険ゾーンは品以外でない fact9: 着易い物は退色し易い
fact4 & fact2 -> int1: 「この製鉄は供託であるし小憎らしい」ということは間違いである; int1 -> int2: 「「供託だしかつ小憎らしい」ということは偽である」ものはある; int2 & fact8 -> int3: 「この危険ゾーンは品以外でない」ということは成り立つ; fact1 -> int4: この危険ゾーンは着易くなくて退色し易くない; fact5 & int4 -> int5: この危険ゾーンは恙無い; int3 & int5 -> hypothesis;
このサマースクールは恙無いということはない
fact11 -> int6: もしあの疱瘡が退色し易いとするとそれは海兵でないし加えて品以外でない; fact10 -> int7: もしもあの疱瘡が着易いならばそれは退色し易い;
$facts$ = fact1: すべては着易くないし退色し易くない fact2: あの疱瘡は海兵でない fact3: すべての物は相矛盾するということはない fact4: もしもあの疱瘡は海兵でないとすると「この製鉄が供託だしそれは小憎らしい」ということは真実だということはない fact5: もしもこの危険ゾーンは着易くないし退色し易くないならばそれは恙無い fact6: 退色し易いものは海兵でないしかつ品以外でない fact7: 仮にこの危険ゾーンが着易くない一方で退色し易いとするとそれは恙無い fact8: 仮に「「供託であるし小憎らしい」ということは成り立たない」物があるとすればこの危険ゾーンは品以外でない fact9: 着易い物は退色し易い ; $hypothesis$ = この危険ゾーンは品以外でないが恙無い ; $proof$ = 
fact4 & fact2 -> int1: 「この製鉄は供託であるし小憎らしい」ということは間違いである; int1 -> int2: 「「供託だしかつ小憎らしい」ということは偽である」ものはある; int2 & fact8 -> int3: 「この危険ゾーンは品以外でない」ということは成り立つ; fact1 -> int4: この危険ゾーンは着易くなくて退色し易くない; fact5 & int4 -> int5: この危険ゾーンは恙無い; int3 & int5 -> hypothesis; __PROVED__
事実1: すべては着易くないし退色し易くない
事実2: あの疱瘡は海兵でない
事実3: すべての物は相矛盾するということはない
事実4: もしもあの疱瘡は海兵でないとすると「この製鉄が供託だしそれは小憎らしい」ということは真実だということはない
事実5: もしもこの危険ゾーンは着易くないし退色し易くないならばそれは恙無い
事実6: 退色し易いものは海兵でないしかつ品以外でない
事実7: 仮にこの危険ゾーンが着易くない一方で退色し易いとするとそれは恙無い
事実8: 仮に「「供託であるし小憎らしい」ということは成り立たない」物があるとすればこの危険ゾーンは品以外でない
事実9: 着易い物は退色し易い

仮説: この危険ゾーンは品以外でないが恙無い
1. 事実4と事実2から、推論1: "「この製鉄は供託であるし小憎らしい」ということは間違いである"が導かれる
2. 推論1から、推論2: "「「供託だしかつ小憎らしい」ということは偽である」ものはある"が導かれる
3. 推論2と事実8から、推論3: "「この危険ゾーンは品以外でない」ということは成り立つ"が導かれる
4. 事実1から、推論4: "この危険ゾーンは着易くなくて退色し易くない"が導かれる
5. 事実5と推論4から、推論5: "この危険ゾーンは恙無い"が導かれる
6. 推論3と推論5から、仮説が導かれる

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