あの優越的地位はけたたましくない
fact1: もし「なにかは盗み見るけれど発見し得ない」ということは成り立つということはないなら「それは盗み見ない」ということは事実である fact2: 「もしもその性犯罪がむくつけしならばあの循環型社会はけたたましい」ということは事実だ fact3: むくつけしない物はけたたましい fact4: もし「あの循環型社会は別記でないがしかしそれはやばい」ということは偽であるならばあの優越的地位は右クリックする fact5: なにがしかのものが右クリックするとしたらそれはむくつけしないかまたは落ち続けるか両方である fact6: あの優越的地位はむくつけし fact7: あの優越的地位は落ち続ける fact8: このセキュリテイはけたたましいということはない fact9: あの循環型社会はけたたましいならば「あの優越的地位はけたたましい」ということは成り立つ fact10: もしあの優越的地位はむくつけししまた落ち続けるとすればけたたましくない fact11: あの優越的地位がむくつけしないかもしくは落ち続けるか両方ともであるとしたらその原生自然はむくつけしない
fact6 & fact7 -> int1: あの優越的地位はむくつけしし加えて落ち続ける; int1 & fact10 -> hypothesis;
あの優越的地位はけたたましい
$facts$ = fact1: もし「なにかは盗み見るけれど発見し得ない」ということは成り立つということはないなら「それは盗み見ない」ということは事実である fact2: 「もしもその性犯罪がむくつけしならばあの循環型社会はけたたましい」ということは事実だ fact3: むくつけしない物はけたたましい fact4: もし「あの循環型社会は別記でないがしかしそれはやばい」ということは偽であるならばあの優越的地位は右クリックする fact5: なにがしかのものが右クリックするとしたらそれはむくつけしないかまたは落ち続けるか両方である fact6: あの優越的地位はむくつけし fact7: あの優越的地位は落ち続ける fact8: このセキュリテイはけたたましいということはない fact9: あの循環型社会はけたたましいならば「あの優越的地位はけたたましい」ということは成り立つ fact10: もしあの優越的地位はむくつけししまた落ち続けるとすればけたたましくない fact11: あの優越的地位がむくつけしないかもしくは落ち続けるか両方ともであるとしたらその原生自然はむくつけしない ; $hypothesis$ = あの優越的地位はけたたましくない ; $proof$ = 
fact6 & fact7 -> int1: あの優越的地位はむくつけしし加えて落ち続ける; int1 & fact10 -> hypothesis; __PROVED__
事実1: もし「なにかは盗み見るけれど発見し得ない」ということは成り立つということはないなら「それは盗み見ない」ということは事実である
事実2: 「もしもその性犯罪がむくつけしならばあの循環型社会はけたたましい」ということは事実だ
事実3: むくつけしない物はけたたましい
事実4: もし「あの循環型社会は別記でないがしかしそれはやばい」ということは偽であるならばあの優越的地位は右クリックする
事実5: なにがしかのものが右クリックするとしたらそれはむくつけしないかまたは落ち続けるか両方である
事実6: あの優越的地位はむくつけし
事実7: あの優越的地位は落ち続ける
事実8: このセキュリテイはけたたましいということはない
事実9: あの循環型社会はけたたましいならば「あの優越的地位はけたたましい」ということは成り立つ
事実10: もしあの優越的地位はむくつけししまた落ち続けるとすればけたたましくない
事実11: あの優越的地位がむくつけしないかもしくは落ち続けるか両方ともであるとしたらその原生自然はむくつけしない

仮説: あの優越的地位はけたたましくない
1. 事実6と事実7から、推論1: "あの優越的地位はむくつけしし加えて落ち続ける"が導かれる
2. 推論1と事実10から、仮説が導かれる

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