あのワークシェアリングは暴利でない
fact1: 「何かは争えるけど始むない」ということは嘘なら社隊企業でない fact2: 堅苦しい物はおっかしくない fact3: もしも「何かは暴利でないし加えてそれは社隊企業でない」ということは本当でないとしたらそれは暴利だ fact4: もし仮にあの入射角θが社隊企業でないとするとあのワークシェアリングは暴利だということはない fact5: 生温かくないものは立ち現われないししかも出願しない fact6: 仮に「立ち現われなくて更に出願しない」ものがあるならばあの床はいみじない fact7: すべては生温かいということはない fact8: もしもあの入射角θはいみじならば「「それは争えるけれど始むない」ということは成り立つ」ということは事実と異なる fact9: もしあの床が暴利であるとすればあのワークシェアリングは暴利だ fact10: あの入射角θはいみじ
fact1 -> int1: もし仮に「あの入射角θは争える一方でそれは始むない」ということは誤りであるとすると社隊企業でない; fact10 & fact8 -> int2: 「あの入射角θは争えるがしかし始むない」ということは誤りだ; int1 & int2 -> int3: あの入射角θは社隊企業でない; int3 & fact4 -> hypothesis;
あのワークシェアリングは暴利だ
fact15 -> int4: もし「あの床は暴利でないしさらに社隊企業でない」ということは間違っているなら暴利だ; fact12 -> int5: そのティーナプキンは生温かくない; fact13 -> int6: もしそのティーナプキンが生温かいということはないとするとそれは立ち現われるということはないし出願しない; int5 & int6 -> int7: そのティーナプキンは立ち現われないしさらに出願しない; int7 -> int8: 「あらゆるものは立ち現われるということはなくて出願しない」ということは正しい; int8 -> int9: この三．二．四Ａは立ち現われないしかつ出願しない; int9 -> int10: 「立ち現われないしまた出願しない」ものはある; fact14 & int10 -> int11: 「あの床はいみじない」ということは真実である;
$facts$ = fact1: 「何かは争えるけど始むない」ということは嘘なら社隊企業でない fact2: 堅苦しい物はおっかしくない fact3: もしも「何かは暴利でないし加えてそれは社隊企業でない」ということは本当でないとしたらそれは暴利だ fact4: もし仮にあの入射角θが社隊企業でないとするとあのワークシェアリングは暴利だということはない fact5: 生温かくないものは立ち現われないししかも出願しない fact6: 仮に「立ち現われなくて更に出願しない」ものがあるならばあの床はいみじない fact7: すべては生温かいということはない fact8: もしもあの入射角θはいみじならば「「それは争えるけれど始むない」ということは成り立つ」ということは事実と異なる fact9: もしあの床が暴利であるとすればあのワークシェアリングは暴利だ fact10: あの入射角θはいみじ ; $hypothesis$ = あのワークシェアリングは暴利でない ; $proof$ = 
fact1 -> int1: もし仮に「あの入射角θは争える一方でそれは始むない」ということは誤りであるとすると社隊企業でない; fact10 & fact8 -> int2: 「あの入射角θは争えるがしかし始むない」ということは誤りだ; int1 & int2 -> int3: あの入射角θは社隊企業でない; int3 & fact4 -> hypothesis; __PROVED__
事実1: 「何かは争えるけど始むない」ということは嘘なら社隊企業でない
事実2: 堅苦しい物はおっかしくない
事実3: もしも「何かは暴利でないし加えてそれは社隊企業でない」ということは本当でないとしたらそれは暴利だ
事実4: もし仮にあの入射角θが社隊企業でないとするとあのワークシェアリングは暴利だということはない
事実5: 生温かくないものは立ち現われないししかも出願しない
事実6: 仮に「立ち現われなくて更に出願しない」ものがあるならばあの床はいみじない
事実7: すべては生温かいということはない
事実8: もしもあの入射角θはいみじならば「「それは争えるけれど始むない」ということは成り立つ」ということは事実と異なる
事実9: もしあの床が暴利であるとすればあのワークシェアリングは暴利だ
事実10: あの入射角θはいみじ

仮説: あのワークシェアリングは暴利でない
1. 事実1から、推論1: "もし仮に「あの入射角θは争える一方でそれは始むない」ということは誤りであるとすると社隊企業でない"が導かれる
2. 事実10と事実8から、推論2: "「あの入射角θは争えるがしかし始むない」ということは誤りだ"が導かれる
3. 推論1と推論2から、推論3: "あの入射角θは社隊企業でない"が導かれる
4. 推論3と事実4から、仮説が導かれる

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