このテレビ局は宣する
fact1: あの新車時は紅白でない fact2: もしも「あの新車時は紅白であるかまたは相携える」ということは成り立たないとしたらこの夕闇は紅白であるということはない fact3: もしなにがしかの物は木材資源でないならばそれは宣しない fact4: もし紅白が相携えるならそれは木材資源でない fact5: もし仮になにかは受け流すということはないとすると紅白でそれに相携える fact6: 「あの新車時は紅白であるか相携える」ということは誤りである fact7: この夕闇は相携えない fact8: この夕闇が木材資源でないとすればあのテレビ局は宣する fact9: 「あの新車時は紅白であるかもしくは木材資源である」ということは間違っている fact10: もしもこの夕闇は木材資源であるならば紅白だ
void -> assump1: 以下のように仮定する。この夕闇は木材資源である; fact10 & assump1 -> int1: この夕闇は紅白だ; fact2 & fact6 -> int2: この夕闇は紅白だということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「この夕闇は木材資源である」ということは嘘だ」ということは成り立つ; int4 & fact8 -> hypothesis;
「このテレビ局は宣しない」ということは真実である
fact11 -> int5: もしこのテレビ局は木材資源だということはないとすると「それは宣しない」ということは本当である; fact12 -> int6: もし仮にこのテレビ局は紅白であるしかつ相携えるならそれは木材資源でない; fact13 -> int7: 仮にこのテレビ局が受け流すということはないとすると紅白だしその上相携える;
$facts$ = fact1: あの新車時は紅白でない fact2: もしも「あの新車時は紅白であるかまたは相携える」ということは成り立たないとしたらこの夕闇は紅白であるということはない fact3: もしなにがしかの物は木材資源でないならばそれは宣しない fact4: もし紅白が相携えるならそれは木材資源でない fact5: もし仮になにかは受け流すということはないとすると紅白でそれに相携える fact6: 「あの新車時は紅白であるか相携える」ということは誤りである fact7: この夕闇は相携えない fact8: この夕闇が木材資源でないとすればあのテレビ局は宣する fact9: 「あの新車時は紅白であるかもしくは木材資源である」ということは間違っている fact10: もしもこの夕闇は木材資源であるならば紅白だ ; $hypothesis$ = このテレビ局は宣する ; $proof$ = 
void -> assump1: 以下のように仮定する。この夕闇は木材資源である; fact10 & assump1 -> int1: この夕闇は紅白だ; fact2 & fact6 -> int2: この夕闇は紅白だということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「この夕闇は木材資源である」ということは嘘だ」ということは成り立つ; int4 & fact8 -> hypothesis; __PROVED__
事実1: あの新車時は紅白でない
事実2: もしも「あの新車時は紅白であるかまたは相携える」ということは成り立たないとしたらこの夕闇は紅白であるということはない
事実3: もしなにがしかの物は木材資源でないならばそれは宣しない
事実4: もし紅白が相携えるならそれは木材資源でない
事実5: もし仮になにかは受け流すということはないとすると紅白でそれに相携える
事実6: 「あの新車時は紅白であるか相携える」ということは誤りである
事実7: この夕闇は相携えない
事実8: この夕闇が木材資源でないとすればあのテレビ局は宣する
事実9: 「あの新車時は紅白であるかもしくは木材資源である」ということは間違っている
事実10: もしもこの夕闇は木材資源であるならば紅白だ

仮説: このテレビ局は宣する
1. 仮定1: 以下のように仮定する。この夕闇は木材資源である
2. 事実10と仮定1から、推論1: "この夕闇は紅白だ"が導かれる
3. 事実2と事実6から、推論2: "この夕闇は紅白だということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「「この夕闇は木材資源である」ということは嘘だ」ということは成り立つ"が導かれる
6. 推論4と事実8から、仮説が導かれる

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