「とあるものは処罰しないかもしくは貯蔵しないかどちらもである」ということは間違いである
fact1: もし仮にこの終脳が馬鹿馬鹿しいとすればそのＰＳは処罰しないかそれは貯蔵するかまたは両方だ fact2: もし仮に「とあるものは馬鹿馬鹿しい」ということは成り立てば処罰する fact3: この終脳は馬鹿馬鹿しい fact4: この終脳が馬鹿馬鹿しいとしたらそのＰＳは処罰しないか貯蔵しないかもしくは両方である
fact4 & fact3 -> int1: そのＰＳは処罰しないかまたは貯蔵しないか両方ともだ; int1 -> hypothesis;
この営造法式は処罰する
fact5 -> int2: もしもこの営造法式が馬鹿馬鹿しいとしたらそれは処罰する;
$facts$ = fact1: もし仮にこの終脳が馬鹿馬鹿しいとすればそのＰＳは処罰しないかそれは貯蔵するかまたは両方だ fact2: もし仮に「とあるものは馬鹿馬鹿しい」ということは成り立てば処罰する fact3: この終脳は馬鹿馬鹿しい fact4: この終脳が馬鹿馬鹿しいとしたらそのＰＳは処罰しないか貯蔵しないかもしくは両方である ; $hypothesis$ = 「とあるものは処罰しないかもしくは貯蔵しないかどちらもである」ということは間違いである ; $proof$ = 
fact4 & fact3 -> int1: そのＰＳは処罰しないかまたは貯蔵しないか両方ともだ; int1 -> hypothesis; __DISPROVED__
事実1: もし仮にこの終脳が馬鹿馬鹿しいとすればそのＰＳは処罰しないかそれは貯蔵するかまたは両方だ
事実2: もし仮に「とあるものは馬鹿馬鹿しい」ということは成り立てば処罰する
事実3: この終脳は馬鹿馬鹿しい
事実4: この終脳が馬鹿馬鹿しいとしたらそのＰＳは処罰しないか貯蔵しないかもしくは両方である

仮説: 「とあるものは処罰しないかもしくは貯蔵しないかどちらもである」ということは間違いである
1. 事実4と事実3から、推論1: "そのＰＳは処罰しないかまたは貯蔵しないか両方ともだ"が導かれる
2. 推論1から、仮説が否定される

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