「この天井圏は買い続けるということはないししかもＬＥＤでない」ということは成り立つ
fact1: もしこの天井圏が買い続ければこの半身不随はおもろくない fact2: この天井圏は買い続けるということはない fact3: 「この天井圏は買い続けるけれどＬＥＤでない」ということは偽である fact4: 「あのトロール達はおもろい一方でそれは行えらない」ということは成り立たない fact5: もし仮にとあるものは行えらないなら「「それはおもろくないしその上それは恐ろしくない」ということは偽でない」ということは成り立たない fact6: 「あのトロール達はおもろくないしまた行えらない」ということは誤っている fact7: 仮にあのトロール達がおもろいとするとこの半身不随はおもろい fact8: もし「この天井圏は買い続けるということはないしそれにＬＥＤでない」ということは事実であるということはないならこの半身不随はおもろくない fact9: もしも「あのトロール達はおもろいということはなくてそれは行えらない」ということは成り立たないとすると「この半身不随はおもろい」ということは事実である
void -> assump1: 以下のように仮定する。「「この天井圏は買い続けないし加えてＬＥＤでない」ということは真実である」ということは偽だ; fact8 & assump1 -> int1: この半身不随はおもろくない; fact6 & fact9 -> int2: 「この半身不随はおもろい」ということは事実だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「この天井圏はおもろくないしかつ恐ろしくない」ということは偽だ
fact10 -> int4: もしこの天井圏は行えらないとしたら「おもろいということはないしかつ恐ろしくない」ということは誤っている;
$facts$ = fact1: もしこの天井圏が買い続ければこの半身不随はおもろくない fact2: この天井圏は買い続けるということはない fact3: 「この天井圏は買い続けるけれどＬＥＤでない」ということは偽である fact4: 「あのトロール達はおもろい一方でそれは行えらない」ということは成り立たない fact5: もし仮にとあるものは行えらないなら「「それはおもろくないしその上それは恐ろしくない」ということは偽でない」ということは成り立たない fact6: 「あのトロール達はおもろくないしまた行えらない」ということは誤っている fact7: 仮にあのトロール達がおもろいとするとこの半身不随はおもろい fact8: もし「この天井圏は買い続けるということはないしそれにＬＥＤでない」ということは事実であるということはないならこの半身不随はおもろくない fact9: もしも「あのトロール達はおもろいということはなくてそれは行えらない」ということは成り立たないとすると「この半身不随はおもろい」ということは事実である ; $hypothesis$ = 「この天井圏は買い続けるということはないししかもＬＥＤでない」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。「「この天井圏は買い続けないし加えてＬＥＤでない」ということは真実である」ということは偽だ; fact8 & assump1 -> int1: この半身不随はおもろくない; fact6 & fact9 -> int2: 「この半身不随はおもろい」ということは事実だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしこの天井圏が買い続ければこの半身不随はおもろくない
事実2: この天井圏は買い続けるということはない
事実3: 「この天井圏は買い続けるけれどＬＥＤでない」ということは偽である
事実4: 「あのトロール達はおもろい一方でそれは行えらない」ということは成り立たない
事実5: もし仮にとあるものは行えらないなら「「それはおもろくないしその上それは恐ろしくない」ということは偽でない」ということは成り立たない
事実6: 「あのトロール達はおもろくないしまた行えらない」ということは誤っている
事実7: 仮にあのトロール達がおもろいとするとこの半身不随はおもろい
事実8: もし「この天井圏は買い続けるということはないしそれにＬＥＤでない」ということは事実であるということはないならこの半身不随はおもろくない
事実9: もしも「あのトロール達はおもろいということはなくてそれは行えらない」ということは成り立たないとすると「この半身不随はおもろい」ということは事実である

仮説: 「この天井圏は買い続けるということはないししかもＬＥＤでない」ということは成り立つ
1. 仮定1: 以下のように仮定する。「「この天井圏は買い続けないし加えてＬＥＤでない」ということは真実である」ということは偽だ
2. 事実8と仮定1から、推論1: "この半身不随はおもろくない"が導かれる
3. 事実6と事実9から、推論2: "「この半身不随はおもろい」ということは事実だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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