「「この卑劣は消炎しなくてそれにそれは蒸発しない」ということは嘘である」ということは真実だ
fact1: 「この二重橋は書き漏らすかあるいは漏れ出ない」ということは間違っているとすればアジア系である fact2: 甚だしくない物は消炎しなくて蒸発しない fact3: この二重橋が書き漏らすか漏れ出ないならば「この卑劣は甚だしい」ということは確かだ fact4: もしもとあるものは甚だしいとすれば「消炎しないし加えて蒸発するということはない」ということは間違っている fact5: もしも「なにかは消炎しないしその上蒸発するということはない」ということは間違いだとすると甚だしい fact6: もし仮に「「一睨みしない」ということは成り立つ」ものはあるとしたら「この二重橋はアジア系でない」ということは事実である fact7: もしも「この二重橋は甚だしい」ということは本当ならこの一文字は出し易いかアジア系でない fact8: 何かはつけばそれは遣り込めない fact9: 「なにかは一睨みしないとすれば「消炎するということはなくて蒸発しない」ということは確かでない」ということは確かだ fact10: この二重橋はアジア系であるかもしくは甚だしいということはないかあるいは両方である fact11: 「この卑劣は漏れ出ないけどそれは消炎する」ということは成り立たない fact12: もしとあるものが遣り込めないとしたら一睨みしない fact13: もし仮にこの卑劣が話し続けるとしたらそれはつかない fact14: あるものは一睨みしない fact15: 「書き漏らさない」物があるとするとこの二重橋は甚だしいということはない fact16: アジア系が一睨みするとすれば甚だしいということはない fact17: もしこの卑劣がつかないがしかし三行半だとすればあの二重橋はつく
void -> assump1: 以下のように仮定する。「「この二重橋は書き漏らすかもしくは漏れ出ないかもしくはどちらもである」ということは確かである」ということは間違いだ; fact1 & assump1 -> int1: この二重橋はアジア系だ; fact14 & fact6 -> int2: 「この二重橋はアジア系でない」ということは事実だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この二重橋は書き漏らすかあるいは漏れ出るということはない; int4 & fact3 -> int5: この卑劣は甚だしい; fact4 -> int6: もしもこの卑劣は甚だしいとすると「それは消炎しないしおまけに蒸発しない」ということは成り立たない; int5 & int6 -> hypothesis;
この卑劣は消炎しなくて加えて蒸発しない
fact18 -> int7: 仮にこの卑劣が甚だしくないとしたら消炎するということはないしおまけにそれは蒸発しない; fact19 -> int8: もしもこの卑劣はアジア系であるし一睨みするとすればそれは甚だしいということはない;
$facts$ = fact1: 「この二重橋は書き漏らすかあるいは漏れ出ない」ということは間違っているとすればアジア系である fact2: 甚だしくない物は消炎しなくて蒸発しない fact3: この二重橋が書き漏らすか漏れ出ないならば「この卑劣は甚だしい」ということは確かだ fact4: もしもとあるものは甚だしいとすれば「消炎しないし加えて蒸発するということはない」ということは間違っている fact5: もしも「なにかは消炎しないしその上蒸発するということはない」ということは間違いだとすると甚だしい fact6: もし仮に「「一睨みしない」ということは成り立つ」ものはあるとしたら「この二重橋はアジア系でない」ということは事実である fact7: もしも「この二重橋は甚だしい」ということは本当ならこの一文字は出し易いかアジア系でない fact8: 何かはつけばそれは遣り込めない fact9: 「なにかは一睨みしないとすれば「消炎するということはなくて蒸発しない」ということは確かでない」ということは確かだ fact10: この二重橋はアジア系であるかもしくは甚だしいということはないかあるいは両方である fact11: 「この卑劣は漏れ出ないけどそれは消炎する」ということは成り立たない fact12: もしとあるものが遣り込めないとしたら一睨みしない fact13: もし仮にこの卑劣が話し続けるとしたらそれはつかない fact14: あるものは一睨みしない fact15: 「書き漏らさない」物があるとするとこの二重橋は甚だしいということはない fact16: アジア系が一睨みするとすれば甚だしいということはない fact17: もしこの卑劣がつかないがしかし三行半だとすればあの二重橋はつく ; $hypothesis$ = 「「この卑劣は消炎しなくてそれにそれは蒸発しない」ということは嘘である」ということは真実だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「「この二重橋は書き漏らすかもしくは漏れ出ないかもしくはどちらもである」ということは確かである」ということは間違いだ; fact1 & assump1 -> int1: この二重橋はアジア系だ; fact14 & fact6 -> int2: 「この二重橋はアジア系でない」ということは事実だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この二重橋は書き漏らすかあるいは漏れ出るということはない; int4 & fact3 -> int5: この卑劣は甚だしい; fact4 -> int6: もしもこの卑劣は甚だしいとすると「それは消炎しないしおまけに蒸発しない」ということは成り立たない; int5 & int6 -> hypothesis; __PROVED__
事実1: 「この二重橋は書き漏らすかあるいは漏れ出ない」ということは間違っているとすればアジア系である
事実2: 甚だしくない物は消炎しなくて蒸発しない
事実3: この二重橋が書き漏らすか漏れ出ないならば「この卑劣は甚だしい」ということは確かだ
事実4: もしもとあるものは甚だしいとすれば「消炎しないし加えて蒸発するということはない」ということは間違っている
事実5: もしも「なにかは消炎しないしその上蒸発するということはない」ということは間違いだとすると甚だしい
事実6: もし仮に「「一睨みしない」ということは成り立つ」ものはあるとしたら「この二重橋はアジア系でない」ということは事実である
事実7: もしも「この二重橋は甚だしい」ということは本当ならこの一文字は出し易いかアジア系でない
事実8: 何かはつけばそれは遣り込めない
事実9: 「なにかは一睨みしないとすれば「消炎するということはなくて蒸発しない」ということは確かでない」ということは確かだ
事実10: この二重橋はアジア系であるかもしくは甚だしいということはないかあるいは両方である
事実11: 「この卑劣は漏れ出ないけどそれは消炎する」ということは成り立たない
事実12: もしとあるものが遣り込めないとしたら一睨みしない
事実13: もし仮にこの卑劣が話し続けるとしたらそれはつかない
事実14: あるものは一睨みしない
事実15: 「書き漏らさない」物があるとするとこの二重橋は甚だしいということはない
事実16: アジア系が一睨みするとすれば甚だしいということはない
事実17: もしこの卑劣がつかないがしかし三行半だとすればあの二重橋はつく

仮説: 「「この卑劣は消炎しなくてそれにそれは蒸発しない」ということは嘘である」ということは真実だ
1. 仮定1: 以下のように仮定する。「「この二重橋は書き漏らすかもしくは漏れ出ないかもしくはどちらもである」ということは確かである」ということは間違いだ
2. 事実1と仮定1から、推論1: "この二重橋はアジア系だ"が導かれる
3. 事実14と事実6から、推論2: "「この二重橋はアジア系でない」ということは事実だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この二重橋は書き漏らすかあるいは漏れ出るということはない"が導かれる
6. 推論4と事実3から、推論5: "この卑劣は甚だしい"が導かれる
7. 事実4から、推論6: "もしもこの卑劣は甚だしいとすると「それは消炎しないしおまけに蒸発しない」ということは成り立たない"が導かれる
8. 推論5と推論6から、仮説が導かれる

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