この総発は礼儀正しいということはないかもしくは撰しないかもしくは両方だ
fact1: もしとあるものはケトン体でないとしたら「「礼儀正しくないかまたはそれは撰しない」ということは真実だ」ということは成り立たない fact2: 仮に何かはケトン体でないとするとそれは震わさないかもしくは発想しないか両方ともだ fact3: その両側手が礼儀正しいとしたらこの総発は礼儀正しくないかあるいはそれは撰しないかあるいは両方である fact4: その両側手はケトン体であるし礼儀正しい fact5: その両側手が減だし励み為さるとすればこの総発はケトン体でない fact6: 「その両側手は礼儀正しいなら「この総発は礼儀正しくないかまたは撰するかどちらもだ」ということは間違いでない」ということは成り立つ
fact4 -> int1: その両側手は礼儀正しい; int1 & fact3 -> hypothesis;
「この総発は礼儀正しいということはないか撰しないかまたは両方ともである」ということは誤りである
fact7 -> int2: もし「この総発はケトン体であるということはない」ということは確かであるとしたら「礼儀正しくないかもしくは撰するということはないかもしくはどちらもだ」ということは間違いだ;
$facts$ = fact1: もしとあるものはケトン体でないとしたら「「礼儀正しくないかまたはそれは撰しない」ということは真実だ」ということは成り立たない fact2: 仮に何かはケトン体でないとするとそれは震わさないかもしくは発想しないか両方ともだ fact3: その両側手が礼儀正しいとしたらこの総発は礼儀正しくないかあるいはそれは撰しないかあるいは両方である fact4: その両側手はケトン体であるし礼儀正しい fact5: その両側手が減だし励み為さるとすればこの総発はケトン体でない fact6: 「その両側手は礼儀正しいなら「この総発は礼儀正しくないかまたは撰するかどちらもだ」ということは間違いでない」ということは成り立つ ; $hypothesis$ = この総発は礼儀正しいということはないかもしくは撰しないかもしくは両方だ ; $proof$ = 
fact4 -> int1: その両側手は礼儀正しい; int1 & fact3 -> hypothesis; __PROVED__
事実1: もしとあるものはケトン体でないとしたら「「礼儀正しくないかまたはそれは撰しない」ということは真実だ」ということは成り立たない
事実2: 仮に何かはケトン体でないとするとそれは震わさないかもしくは発想しないか両方ともだ
事実3: その両側手が礼儀正しいとしたらこの総発は礼儀正しくないかあるいはそれは撰しないかあるいは両方である
事実4: その両側手はケトン体であるし礼儀正しい
事実5: その両側手が減だし励み為さるとすればこの総発はケトン体でない
事実6: 「その両側手は礼儀正しいなら「この総発は礼儀正しくないかまたは撰するかどちらもだ」ということは間違いでない」ということは成り立つ

仮説: この総発は礼儀正しいということはないかもしくは撰しないかもしくは両方だ
1. 事実4から、推論1: "その両側手は礼儀正しい"が導かれる
2. 推論1と事実3から、仮説が導かれる

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