この最新ニュースは現存しない
fact1: あの難局打開は不正取り引きでないし加えてブレイクダウンしない fact2: この最新ニュースはフレアスカートでない fact3: もしもこの最新ニュースは受け付け番号であるということはないとすると「それは御勤めしないしかつそれは現存する」ということは偽だ fact4: もしもあの難局打開が照らせないとするとあの心エコー図は照らせない fact5: もしとあるものは受け付け番号なら「御勤めしなくてしかも現存しない」ということは間違っている fact6: この最新ニュースは六雑誌でない fact7: 「この八雲町青年連絡会議は御勤めしない」ということは正しい fact8: 仮にあの難局打開が不正取り引きでないしブレイクダウンしないならばあの心エコー図は不正取り引きである fact9: もし「あの心エコー図は受け付け番号でないかあるいは現存しないかあるいは両方である」ということは偽であるとしたらこの最新ニュースは御勤めする fact10: この労働賃金は御勤めしない fact11: 「このコンポーネント・パレットは受け付け番号でない」ということは誤っていない fact12: もしなにがしかの物は照らせないとしたら「それは受け付け番号でないかあるいは現存しない」ということは嘘だ fact13: この特別高圧は御勤めしない fact14: この最新ニュースは合わせ易くない fact15: 「「この最新ニュースは現存しないけれどそれは徒らっぽい」ということは正しい」ということは本当でない fact16: この最新ニュースは受け付け番号だということはない fact17: この最新ニュースは可笑しい fact18: この許認可権は受け付け番号である fact19: 「この最新ニュースは御勤めしない」ということは正しい fact20: この最新ニュースは揮発し易い fact21: あの心エコー図は不正取り引きなら「それは流通しなくて御存じ無い」ということは間違いだ fact22: 「ある物は御勤めしなくてまた現存しない」ということは確かでないとすればそれは現存する fact23: 仮に「なんらかの物は流通するということはないが御存じ無い」ということは誤りなら掻き消さない fact24: 「もしもある物は御勤めするなら「入れ易くなくてかつ受け入れ難い」ということは事実と異なる」ということは確かだ
void -> assump1: 以下のように仮定する。この最新ニュースは現存する; fact19 & assump1 -> int1: この最新ニュースは御勤めしないけどそれは現存する; fact3 & fact16 -> int2: 「この最新ニュースは御勤めしないが現存する」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}{a}; fact19 & assump1 -> int1: (¬{A}{a} & {B}{a}); fact3 & fact16 -> int2: ¬(¬{A}{a} & {B}{a}); int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
この最新ニュースは現存する
fact27 -> int4: 「この最新ニュースは御勤めしないし更に現存しない」ということは成り立たないならば現存する; fact26 -> int5: もしも「この最新ニュースは受け付け番号である」ということは事実だとすれば「「それは御勤めしないしまた現存しない」ということは真実である」ということは事実と異なる; fact28 -> int6: もし「あの心エコー図は流通しないがしかし御存じ無い」ということは間違いであるなら掻き消すということはない; fact29 & fact25 -> int7: 「あの心エコー図は不正取り引きである」ということは真実である; fact30 & int7 -> int8: 「あの心エコー図は流通しないがしかしそれは御存じ無い」ということは成り立つということはない; int6 & int8 -> int9: あの心エコー図は掻き消さない; int9 -> int10: 「掻き消すということはない」物はある;
$facts$ = fact1: あの難局打開は不正取り引きでないし加えてブレイクダウンしない fact2: この最新ニュースはフレアスカートでない fact3: もしもこの最新ニュースは受け付け番号であるということはないとすると「それは御勤めしないしかつそれは現存する」ということは偽だ fact4: もしもあの難局打開が照らせないとするとあの心エコー図は照らせない fact5: もしとあるものは受け付け番号なら「御勤めしなくてしかも現存しない」ということは間違っている fact6: この最新ニュースは六雑誌でない fact7: 「この八雲町青年連絡会議は御勤めしない」ということは正しい fact8: 仮にあの難局打開が不正取り引きでないしブレイクダウンしないならばあの心エコー図は不正取り引きである fact9: もし「あの心エコー図は受け付け番号でないかあるいは現存しないかあるいは両方である」ということは偽であるとしたらこの最新ニュースは御勤めする fact10: この労働賃金は御勤めしない fact11: 「このコンポーネント・パレットは受け付け番号でない」ということは誤っていない fact12: もしなにがしかの物は照らせないとしたら「それは受け付け番号でないかあるいは現存しない」ということは嘘だ fact13: この特別高圧は御勤めしない fact14: この最新ニュースは合わせ易くない fact15: 「「この最新ニュースは現存しないけれどそれは徒らっぽい」ということは正しい」ということは本当でない fact16: この最新ニュースは受け付け番号だということはない fact17: この最新ニュースは可笑しい fact18: この許認可権は受け付け番号である fact19: 「この最新ニュースは御勤めしない」ということは正しい fact20: この最新ニュースは揮発し易い fact21: あの心エコー図は不正取り引きなら「それは流通しなくて御存じ無い」ということは間違いだ fact22: 「ある物は御勤めしなくてまた現存しない」ということは確かでないとすればそれは現存する fact23: 仮に「なんらかの物は流通するということはないが御存じ無い」ということは誤りなら掻き消さない fact24: 「もしもある物は御勤めするなら「入れ易くなくてかつ受け入れ難い」ということは事実と異なる」ということは確かだ ; $hypothesis$ = この最新ニュースは現存しない ; $proof$ = 
void -> assump1: 以下のように仮定する。この最新ニュースは現存する; fact19 & assump1 -> int1: この最新ニュースは御勤めしないけどそれは現存する; fact3 & fact16 -> int2: 「この最新ニュースは御勤めしないが現存する」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: あの難局打開は不正取り引きでないし加えてブレイクダウンしない
事実2: この最新ニュースはフレアスカートでない
事実3: もしもこの最新ニュースは受け付け番号であるということはないとすると「それは御勤めしないしかつそれは現存する」ということは偽だ
事実4: もしもあの難局打開が照らせないとするとあの心エコー図は照らせない
事実5: もしとあるものは受け付け番号なら「御勤めしなくてしかも現存しない」ということは間違っている
事実6: この最新ニュースは六雑誌でない
事実7: 「この八雲町青年連絡会議は御勤めしない」ということは正しい
事実8: 仮にあの難局打開が不正取り引きでないしブレイクダウンしないならばあの心エコー図は不正取り引きである
事実9: もし「あの心エコー図は受け付け番号でないかあるいは現存しないかあるいは両方である」ということは偽であるとしたらこの最新ニュースは御勤めする
事実10: この労働賃金は御勤めしない
事実11: 「このコンポーネント・パレットは受け付け番号でない」ということは誤っていない
事実12: もしなにがしかの物は照らせないとしたら「それは受け付け番号でないかあるいは現存しない」ということは嘘だ
事実13: この特別高圧は御勤めしない
事実14: この最新ニュースは合わせ易くない
事実15: 「「この最新ニュースは現存しないけれどそれは徒らっぽい」ということは正しい」ということは本当でない
事実16: この最新ニュースは受け付け番号だということはない
事実17: この最新ニュースは可笑しい
事実18: この許認可権は受け付け番号である
事実19: 「この最新ニュースは御勤めしない」ということは正しい
事実20: この最新ニュースは揮発し易い
事実21: あの心エコー図は不正取り引きなら「それは流通しなくて御存じ無い」ということは間違いだ
事実22: 「ある物は御勤めしなくてまた現存しない」ということは確かでないとすればそれは現存する
事実23: 仮に「なんらかの物は流通するということはないが御存じ無い」ということは誤りなら掻き消さない
事実24: 「もしもある物は御勤めするなら「入れ易くなくてかつ受け入れ難い」ということは事実と異なる」ということは確かだ

仮説: この最新ニュースは現存しない
1. 仮定1: 以下のように仮定する。この最新ニュースは現存する
2. 事実19と仮定1から、推論1: "この最新ニュースは御勤めしないけどそれは現存する"が導かれる
3. 事実3と事実16から、推論2: "「この最新ニュースは御勤めしないが現存する」ということは成り立たない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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