この収納は仮装行列だ
fact1: 仮にこの避難壕が頷き掛ければこの収納は祭祀する fact2: 何らかの物がくっきりするなら仮装行列でないけど頷き掛ける fact3: 仮にこの収納が頷き掛けるとすると祭祀する fact4: もし「この収納は来易くないけれどネグリジェだ」ということは本当であるとすると「それは頷き掛けない」ということは成り立つ fact5: もしあるものが頷き掛けないとすれば仮装行列だけど祭祀しない fact6: 仮にとある物が祭祀するならそれは仮装行列でないけれどくっきりする fact7: この避難壕は頷き掛ける
fact6 -> int1: 仮にこの収納が祭祀するとしたら仮装行列でないし加えてくっきりする; fact7 & fact1 -> int2: この収納は祭祀する; int1 & int2 -> int3: この収納は仮装行列でないけれどそれはくっきりする; int3 -> hypothesis;
この収納は仮装行列である
fact9 -> int4: この収納が頷き掛けないとするとそれは仮装行列だし加えて祭祀しない;
$facts$ = fact1: 仮にこの避難壕が頷き掛ければこの収納は祭祀する fact2: 何らかの物がくっきりするなら仮装行列でないけど頷き掛ける fact3: 仮にこの収納が頷き掛けるとすると祭祀する fact4: もし「この収納は来易くないけれどネグリジェだ」ということは本当であるとすると「それは頷き掛けない」ということは成り立つ fact5: もしあるものが頷き掛けないとすれば仮装行列だけど祭祀しない fact6: 仮にとある物が祭祀するならそれは仮装行列でないけれどくっきりする fact7: この避難壕は頷き掛ける ; $hypothesis$ = この収納は仮装行列だ ; $proof$ = 
fact6 -> int1: 仮にこの収納が祭祀するとしたら仮装行列でないし加えてくっきりする; fact7 & fact1 -> int2: この収納は祭祀する; int1 & int2 -> int3: この収納は仮装行列でないけれどそれはくっきりする; int3 -> hypothesis; __DISPROVED__
事実1: 仮にこの避難壕が頷き掛ければこの収納は祭祀する
事実2: 何らかの物がくっきりするなら仮装行列でないけど頷き掛ける
事実3: 仮にこの収納が頷き掛けるとすると祭祀する
事実4: もし「この収納は来易くないけれどネグリジェだ」ということは本当であるとすると「それは頷き掛けない」ということは成り立つ
事実5: もしあるものが頷き掛けないとすれば仮装行列だけど祭祀しない
事実6: 仮にとある物が祭祀するならそれは仮装行列でないけれどくっきりする
事実7: この避難壕は頷き掛ける

仮説: この収納は仮装行列だ
1. 事実6から、推論1: "仮にこの収納が祭祀するとしたら仮装行列でないし加えてくっきりする"が導かれる
2. 事実7と事実1から、推論2: "この収納は祭祀する"が導かれる
3. 推論1と推論2から、推論3: "この収納は仮装行列でないけれどそれはくっきりする"が導かれる
4. 推論3から、仮説が否定される

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