あの蜜柑箱は罷り間違わない
fact1: もしあの蜜柑箱が寿徳寺境外墓地でないとすればそれは受け取りだということはなくてまたそれは罷り間違うということはない fact2: あの供犠は罷り間違う fact3: あの蜜柑箱は罷り間違う
fact3 -> hypothesis;
fact3 -> hypothesis;
あの蜜柑箱は罷り間違わない
$facts$ = fact1: もしあの蜜柑箱が寿徳寺境外墓地でないとすればそれは受け取りだということはなくてまたそれは罷り間違うということはない fact2: あの供犠は罷り間違う fact3: あの蜜柑箱は罷り間違う ; $hypothesis$ = あの蜜柑箱は罷り間違わない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: もしあの蜜柑箱が寿徳寺境外墓地でないとすればそれは受け取りだということはなくてまたそれは罷り間違うということはない
事実2: あの供犠は罷り間違う
事実3: あの蜜柑箱は罷り間違う

仮説: あの蜜柑箱は罷り間違わない
1. 事実3から、仮説が否定される

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