何かはＰＣＬである
fact1: 「「面白おかしくなくてまた気まずい」ということは成り立たない」物はある fact2: 「「面白おかしいしさらに気まずい」ということは間違いである」ものはある fact3: もし仮にその新民事訴訟法は恥ずかしないとすれば「あの御来臨は恥ずかし一方で轢過しない」ということは成り立たない fact4: もしも「その新民事訴訟法は恥ずかしない」ということは事実であるとしたら「「あの御来臨は恥ずかしないしまたそれは轢過するということはない」ということは間違いである」ということは本当である fact5: もし仮に何らかのものがみみっちいならそれはＰＣＬである fact6: 「あの御来臨は恥ずかしないし加えて轢過しない」ということは間違いだとすればそれはみみっちい fact7: もし仮に「「面白おかしくないしまた気まずい」ということは本当でない」物があればその新民事訴訟法は恥ずかしない fact8: もし「「恥ずかしないけど轢過する」ということは誤りである」ものがあるとしたらあの御来臨はみみっちいということはない
fact1 & fact7 -> int1: その新民事訴訟法は恥ずかしない; int1 & fact4 -> int2: 「「あの御来臨は恥ずかしないし加えてそれは轢過するということはない」ということは本当だ」ということは偽だ; int2 & fact6 -> int3: あの御来臨はみみっちい; fact5 -> int4: あの御来臨がみみっちいならばそれはＰＣＬだ; int3 & int4 -> int5: あの御来臨はＰＣＬだ; int5 -> hypothesis;
$facts$ = fact1: 「「面白おかしくなくてまた気まずい」ということは成り立たない」物はある fact2: 「「面白おかしいしさらに気まずい」ということは間違いである」ものはある fact3: もし仮にその新民事訴訟法は恥ずかしないとすれば「あの御来臨は恥ずかし一方で轢過しない」ということは成り立たない fact4: もしも「その新民事訴訟法は恥ずかしない」ということは事実であるとしたら「「あの御来臨は恥ずかしないしまたそれは轢過するということはない」ということは間違いである」ということは本当である fact5: もし仮に何らかのものがみみっちいならそれはＰＣＬである fact6: 「あの御来臨は恥ずかしないし加えて轢過しない」ということは間違いだとすればそれはみみっちい fact7: もし仮に「「面白おかしくないしまた気まずい」ということは本当でない」物があればその新民事訴訟法は恥ずかしない fact8: もし「「恥ずかしないけど轢過する」ということは誤りである」ものがあるとしたらあの御来臨はみみっちいということはない ; $hypothesis$ = 何かはＰＣＬである ; $proof$ = 
fact1 & fact7 -> int1: その新民事訴訟法は恥ずかしない; int1 & fact4 -> int2: 「「あの御来臨は恥ずかしないし加えてそれは轢過するということはない」ということは本当だ」ということは偽だ; int2 & fact6 -> int3: あの御来臨はみみっちい; fact5 -> int4: あの御来臨がみみっちいならばそれはＰＣＬだ; int3 & int4 -> int5: あの御来臨はＰＣＬだ; int5 -> hypothesis; __PROVED__
事実1: 「「面白おかしくなくてまた気まずい」ということは成り立たない」物はある
事実2: 「「面白おかしいしさらに気まずい」ということは間違いである」ものはある
事実3: もし仮にその新民事訴訟法は恥ずかしないとすれば「あの御来臨は恥ずかし一方で轢過しない」ということは成り立たない
事実4: もしも「その新民事訴訟法は恥ずかしない」ということは事実であるとしたら「「あの御来臨は恥ずかしないしまたそれは轢過するということはない」ということは間違いである」ということは本当である
事実5: もし仮に何らかのものがみみっちいならそれはＰＣＬである
事実6: 「あの御来臨は恥ずかしないし加えて轢過しない」ということは間違いだとすればそれはみみっちい
事実7: もし仮に「「面白おかしくないしまた気まずい」ということは本当でない」物があればその新民事訴訟法は恥ずかしない
事実8: もし「「恥ずかしないけど轢過する」ということは誤りである」ものがあるとしたらあの御来臨はみみっちいということはない

仮説: 何かはＰＣＬである
1. 事実1と事実7から、推論1: "その新民事訴訟法は恥ずかしない"が導かれる
2. 推論1と事実4から、推論2: "「「あの御来臨は恥ずかしないし加えてそれは轢過するということはない」ということは本当だ」ということは偽だ"が導かれる
3. 推論2と事実6から、推論3: "あの御来臨はみみっちい"が導かれる
4. 事実5から、推論4: "あの御来臨がみみっちいならばそれはＰＣＬだ"が導かれる
5. 推論3と推論4から、推論5: "あの御来臨はＰＣＬだ"が導かれる
6. 推論5から、仮説が導かれる

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