その無規定はしゃあ無くない
fact1: もしなにがしかの物が隙間無いとすればそれはしゃあ無い fact2: もしもその無規定が晒され易いとしたらあの胡蝶蘭はしゃあ無い fact3: 「あの胡蝶蘭は晒され易い」ということは成り立つとすればその無規定は隙間無い fact4: あの胡蝶蘭は晒され易い
fact3 & fact4 -> int1: その無規定は隙間無い; fact1 -> int2: もし仮にその無規定が隙間無いならばしゃあ無い; int1 & int2 -> hypothesis;
fact3 & fact4 -> int1: {B}{b}; fact1 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> hypothesis;
$facts$ = fact1: もしなにがしかの物が隙間無いとすればそれはしゃあ無い fact2: もしもその無規定が晒され易いとしたらあの胡蝶蘭はしゃあ無い fact3: 「あの胡蝶蘭は晒され易い」ということは成り立つとすればその無規定は隙間無い fact4: あの胡蝶蘭は晒され易い ; $hypothesis$ = その無規定はしゃあ無くない ; $proof$ = 
fact3 & fact4 -> int1: その無規定は隙間無い; fact1 -> int2: もし仮にその無規定が隙間無いならばしゃあ無い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしなにがしかの物が隙間無いとすればそれはしゃあ無い
事実2: もしもその無規定が晒され易いとしたらあの胡蝶蘭はしゃあ無い
事実3: 「あの胡蝶蘭は晒され易い」ということは成り立つとすればその無規定は隙間無い
事実4: あの胡蝶蘭は晒され易い

仮説: その無規定はしゃあ無くない
1. 事実3と事実4から、推論1: "その無規定は隙間無い"が導かれる
2. 事実1から、推論2: "もし仮にその無規定が隙間無いならばしゃあ無い"が導かれる
3. 推論1と推論2から、仮説が否定される

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