この十一日号は青し
fact1: もし何らかの物が再起しないならば欧化政策である fact2: この十一日号は生命観である fact3: もし仮に「ある物は鉄信でないし更にそれは点滴しない」ということは成り立たないとすると生命観でない fact4: 「何らかのものは生命観だけれど脇役でない」ということは真実でないとするとそれは青し fact5: 仮に何かは登城しないとしたら「それは鉄信でなくておまけに点滴しない」ということは事実と異なる fact6: もし仮にこの国宝が脇役だがそれが青しということはないとするとこの十一日号は青しない fact7: この十一日号は脇役だ fact8: あの町角ウォッチングが生命観でないとすればこの国宝は脇役である一方で青しない fact9: 不動産競売は高等文官であるということはないしかつ罹り易くない fact10: 仮になんらかの物が高等文官でないなら共同開発しなくてそれは進め易い fact11: どれもこれもは不動産競売であるしおまけに風土記である
void -> assump1: 以下のように仮定する。この十一日号は生命観であるけれど脇役でない; assump1 -> int1: 「この十一日号は脇役でない」ということは正しい; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この十一日号は生命観であるがしかし脇役だということはない」ということは成り立たない; fact4 -> int4: 仮に「この十一日号は生命観であるけれど脇役でない」ということは嘘であるならば青し; int3 & int4 -> hypothesis;
void -> assump1: ({A}{a} & ¬{B}{a}); assump1 -> int1: ¬{B}{a}; int1 & fact7 -> int2: #F#; [assump1] & int2 -> int3: ¬({A}{a} & ¬{B}{a}); fact4 -> int4: ¬({A}{a} & ¬{B}{a}) -> {C}{a}; int3 & int4 -> hypothesis;
この十一日号は青しない
fact17 -> int5: もし仮に「あの町角ウォッチングは鉄信でないしおまけにそれは点滴しない」ということは成り立たないとしたらそれは生命観でない; fact14 -> int6: 仮にあの町角ウォッチングは登城しないとしたら「「鉄信でないしそれに点滴しない」ということは確かだ」ということは誤りである; fact12 -> int7: その新カント派は不動産競売であるしかつ風土記だ; int7 -> int8: その新カント派は不動産競売である; int8 -> int9: すべての物は不動産競売だ; int9 -> int10: その香ばしさは不動産競売である; fact16 -> int11: もし仮にその香ばしさが不動産競売ならそれは高等文官でなくてかつそれは罹り易くない; int10 & int11 -> int12: その香ばしさは高等文官でなくて加えて罹り易くない; int12 -> int13: すべては高等文官でなくて罹り易くない; int13 -> int14: この本件就業規則変更は高等文官であるということはなくてかつそれは罹り易いということはない; int14 -> int15: この本件就業規則変更は高等文官であるということはない; int15 -> int16: 全ての物は高等文官でない; int16 -> int17: あの町角ウォッチングは高等文官でない; fact15 -> int18: もし仮に「あの町角ウォッチングは高等文官である」ということは誤っているとしたら共同開発しない一方で進め易い; int17 & int18 -> int19: あの町角ウォッチングは共同開発しないがしかしそれは進め易い;
$facts$ = fact1: もし何らかの物が再起しないならば欧化政策である fact2: この十一日号は生命観である fact3: もし仮に「ある物は鉄信でないし更にそれは点滴しない」ということは成り立たないとすると生命観でない fact4: 「何らかのものは生命観だけれど脇役でない」ということは真実でないとするとそれは青し fact5: 仮に何かは登城しないとしたら「それは鉄信でなくておまけに点滴しない」ということは事実と異なる fact6: もし仮にこの国宝が脇役だがそれが青しということはないとするとこの十一日号は青しない fact7: この十一日号は脇役だ fact8: あの町角ウォッチングが生命観でないとすればこの国宝は脇役である一方で青しない fact9: 不動産競売は高等文官であるということはないしかつ罹り易くない fact10: 仮になんらかの物が高等文官でないなら共同開発しなくてそれは進め易い fact11: どれもこれもは不動産競売であるしおまけに風土記である ; $hypothesis$ = この十一日号は青し ; $proof$ = 
void -> assump1: 以下のように仮定する。この十一日号は生命観であるけれど脇役でない; assump1 -> int1: 「この十一日号は脇役でない」ということは正しい; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この十一日号は生命観であるがしかし脇役だということはない」ということは成り立たない; fact4 -> int4: 仮に「この十一日号は生命観であるけれど脇役でない」ということは嘘であるならば青し; int3 & int4 -> hypothesis; __PROVED__
事実1: もし何らかの物が再起しないならば欧化政策である
事実2: この十一日号は生命観である
事実3: もし仮に「ある物は鉄信でないし更にそれは点滴しない」ということは成り立たないとすると生命観でない
事実4: 「何らかのものは生命観だけれど脇役でない」ということは真実でないとするとそれは青し
事実5: 仮に何かは登城しないとしたら「それは鉄信でなくておまけに点滴しない」ということは事実と異なる
事実6: もし仮にこの国宝が脇役だがそれが青しということはないとするとこの十一日号は青しない
事実7: この十一日号は脇役だ
事実8: あの町角ウォッチングが生命観でないとすればこの国宝は脇役である一方で青しない
事実9: 不動産競売は高等文官であるということはないしかつ罹り易くない
事実10: 仮になんらかの物が高等文官でないなら共同開発しなくてそれは進め易い
事実11: どれもこれもは不動産競売であるしおまけに風土記である

仮説: この十一日号は青し
1. 仮定1: 以下のように仮定する。この十一日号は生命観であるけれど脇役でない
2. 仮定1から、推論1: "「この十一日号は脇役でない」ということは正しい"が導かれる
3. 推論1と事実7から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この十一日号は生命観であるがしかし脇役だということはない」ということは成り立たない"が導かれる
5. 事実4から、推論4: "仮に「この十一日号は生命観であるけれど脇役でない」ということは嘘であるならば青し"が導かれる
6. 推論3と推論4から、仮説が導かれる

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