あの硫酸は誑かさない
fact1: なんらかのものはデータ・コントロール・パレットだけれど歪曲しない fact2: 仮になにがしかのものはデータ・コントロール・パレットでないしさらに歪曲するということはないとすると「あの硫酸は誑かさない」ということは成り立つ fact3: その階級意識は次期天皇だ fact4: ある物は次期天皇であるとすればそれは誑かす fact5: もしもその参列者がデータ・コントロール・パレットでないがそれが次期天皇ならばあの硫酸は次期天皇である fact6: 「「データ・コントロール・パレットであるということはない」ということは確かである」物はある fact7: 「歪曲しない」ものはある fact8: その参列者は次期天皇であるし歪曲する fact9: もし仮にその参列者が歪曲すればその階級意識はデータ・コントロール・パレットでないしさらに歪曲しない
fact8 -> int1: その参列者は歪曲する; int1 & fact9 -> int2: その階級意識はデータ・コントロール・パレットでないし加えて歪曲しない; int2 -> int3: ある物はデータ・コントロール・パレットでないしその上歪曲しない; int3 & fact2 -> hypothesis;
あの硫酸は誑かす
fact10 -> int4: あの硫酸が次期天皇ならそれは誑かす;
$facts$ = fact1: なんらかのものはデータ・コントロール・パレットだけれど歪曲しない fact2: 仮になにがしかのものはデータ・コントロール・パレットでないしさらに歪曲するということはないとすると「あの硫酸は誑かさない」ということは成り立つ fact3: その階級意識は次期天皇だ fact4: ある物は次期天皇であるとすればそれは誑かす fact5: もしもその参列者がデータ・コントロール・パレットでないがそれが次期天皇ならばあの硫酸は次期天皇である fact6: 「「データ・コントロール・パレットであるということはない」ということは確かである」物はある fact7: 「歪曲しない」ものはある fact8: その参列者は次期天皇であるし歪曲する fact9: もし仮にその参列者が歪曲すればその階級意識はデータ・コントロール・パレットでないしさらに歪曲しない ; $hypothesis$ = あの硫酸は誑かさない ; $proof$ = 
fact8 -> int1: その参列者は歪曲する; int1 & fact9 -> int2: その階級意識はデータ・コントロール・パレットでないし加えて歪曲しない; int2 -> int3: ある物はデータ・コントロール・パレットでないしその上歪曲しない; int3 & fact2 -> hypothesis; __PROVED__
事実1: なんらかのものはデータ・コントロール・パレットだけれど歪曲しない
事実2: 仮になにがしかのものはデータ・コントロール・パレットでないしさらに歪曲するということはないとすると「あの硫酸は誑かさない」ということは成り立つ
事実3: その階級意識は次期天皇だ
事実4: ある物は次期天皇であるとすればそれは誑かす
事実5: もしもその参列者がデータ・コントロール・パレットでないがそれが次期天皇ならばあの硫酸は次期天皇である
事実6: 「「データ・コントロール・パレットであるということはない」ということは確かである」物はある
事実7: 「歪曲しない」ものはある
事実8: その参列者は次期天皇であるし歪曲する
事実9: もし仮にその参列者が歪曲すればその階級意識はデータ・コントロール・パレットでないしさらに歪曲しない

仮説: あの硫酸は誑かさない
1. 事実8から、推論1: "その参列者は歪曲する"が導かれる
2. 推論1と事実9から、推論2: "その階級意識はデータ・コントロール・パレットでないし加えて歪曲しない"が導かれる
3. 推論2から、推論3: "ある物はデータ・コントロール・パレットでないしその上歪曲しない"が導かれる
4. 推論3と事実2から、仮説が導かれる

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