「この単位時間が複製しないしさらにそれは所掌でない」ということは間違っている
fact1: 「そのケトン体は所掌でないけれど返し値だ」ということは誤りだ fact2: 仮になんらかの物は戦闘シーンであるとすれば「同時中継するけど生成し易くない」ということは誤っている fact3: 「その慰安婦問題は痒くないしかつそれは像側でない」ということは本当でない fact4: 「この単位時間は複製するがしかし返し値であるということはない」ということは偽だ fact5: 仮に「何らかのものは変調するし返し値だ」ということは成り立たないならば眠たいということはない fact6: 「そのケトン体は複製する」ということは事実だとすればこの単位時間は複製しない fact7: もし仮にその後倒しは近くないとしたら「「そのケトン体は変調するしそれにそれは返し値だ」ということは偽だ」ということは事実である fact8: もしなにがしかの物は液化でないならば「盗み見しないしさらに百姓らしくない」ということは偽だ fact9: もしもなにかは眠たくないとすると「それは複製しないしかつそれは所掌でない」ということは誤っている fact10: もしもなにかは複製しないとすると「所掌でないし加えて返し値でない」ということは誤りである fact11: 「その後倒しは同時中継するがしかし生成し易くない」ということは事実と異なるとすればそれは近くない fact12: この単位時間は変調するかあるいはそれは慈愛深い fact13: もしそのケトン体が返し値であるかまたは眠たいかあるいは両方だとすればこの単位時間は眠たくない fact14: そのケトン体は返し値であるかあるいは眠たい fact15: そのケトン体は好ましということはない fact16: この単位時間は返し値であるかもしくは複製するかあるいは両方ともである
fact9 -> int1: もし仮にこの単位時間は眠たくないとしたら「複製しなくてまたそれは所掌でない」ということは偽である; fact14 & fact13 -> int2: 「この単位時間は眠たくない」ということは本当だ; int1 & int2 -> hypothesis;
fact9 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); fact14 & fact13 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
この単位時間は複製しなくてかつ所掌でない
fact20 -> int3: もし「そのケトン体は変調するしかつ返し値である」ということは偽だとしたら眠たくない; fact18 -> int4: もしもその後倒しは戦闘シーンであるとしたら「それは同時中継するしかつそれは生成し易くない」ということは嘘だ;
$facts$ = fact1: 「そのケトン体は所掌でないけれど返し値だ」ということは誤りだ fact2: 仮になんらかの物は戦闘シーンであるとすれば「同時中継するけど生成し易くない」ということは誤っている fact3: 「その慰安婦問題は痒くないしかつそれは像側でない」ということは本当でない fact4: 「この単位時間は複製するがしかし返し値であるということはない」ということは偽だ fact5: 仮に「何らかのものは変調するし返し値だ」ということは成り立たないならば眠たいということはない fact6: 「そのケトン体は複製する」ということは事実だとすればこの単位時間は複製しない fact7: もし仮にその後倒しは近くないとしたら「「そのケトン体は変調するしそれにそれは返し値だ」ということは偽だ」ということは事実である fact8: もしなにがしかの物は液化でないならば「盗み見しないしさらに百姓らしくない」ということは偽だ fact9: もしもなにかは眠たくないとすると「それは複製しないしかつそれは所掌でない」ということは誤っている fact10: もしもなにかは複製しないとすると「所掌でないし加えて返し値でない」ということは誤りである fact11: 「その後倒しは同時中継するがしかし生成し易くない」ということは事実と異なるとすればそれは近くない fact12: この単位時間は変調するかあるいはそれは慈愛深い fact13: もしそのケトン体が返し値であるかまたは眠たいかあるいは両方だとすればこの単位時間は眠たくない fact14: そのケトン体は返し値であるかあるいは眠たい fact15: そのケトン体は好ましということはない fact16: この単位時間は返し値であるかもしくは複製するかあるいは両方ともである ; $hypothesis$ = 「この単位時間が複製しないしさらにそれは所掌でない」ということは間違っている ; $proof$ = 
fact9 -> int1: もし仮にこの単位時間は眠たくないとしたら「複製しなくてまたそれは所掌でない」ということは偽である; fact14 & fact13 -> int2: 「この単位時間は眠たくない」ということは本当だ; int1 & int2 -> hypothesis; __PROVED__
事実1: 「そのケトン体は所掌でないけれど返し値だ」ということは誤りだ
事実2: 仮になんらかの物は戦闘シーンであるとすれば「同時中継するけど生成し易くない」ということは誤っている
事実3: 「その慰安婦問題は痒くないしかつそれは像側でない」ということは本当でない
事実4: 「この単位時間は複製するがしかし返し値であるということはない」ということは偽だ
事実5: 仮に「何らかのものは変調するし返し値だ」ということは成り立たないならば眠たいということはない
事実6: 「そのケトン体は複製する」ということは事実だとすればこの単位時間は複製しない
事実7: もし仮にその後倒しは近くないとしたら「「そのケトン体は変調するしそれにそれは返し値だ」ということは偽だ」ということは事実である
事実8: もしなにがしかの物は液化でないならば「盗み見しないしさらに百姓らしくない」ということは偽だ
事実9: もしもなにかは眠たくないとすると「それは複製しないしかつそれは所掌でない」ということは誤っている
事実10: もしもなにかは複製しないとすると「所掌でないし加えて返し値でない」ということは誤りである
事実11: 「その後倒しは同時中継するがしかし生成し易くない」ということは事実と異なるとすればそれは近くない
事実12: この単位時間は変調するかあるいはそれは慈愛深い
事実13: もしそのケトン体が返し値であるかまたは眠たいかあるいは両方だとすればこの単位時間は眠たくない
事実14: そのケトン体は返し値であるかあるいは眠たい
事実15: そのケトン体は好ましということはない
事実16: この単位時間は返し値であるかもしくは複製するかあるいは両方ともである

仮説: 「この単位時間が複製しないしさらにそれは所掌でない」ということは間違っている
1. 事実9から、推論1: "もし仮にこの単位時間は眠たくないとしたら「複製しなくてまたそれは所掌でない」ということは偽である"が導かれる
2. 事実14と事実13から、推論2: "「この単位時間は眠たくない」ということは本当だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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