あの都会人は青黒い
fact1: なんらかのものは発露であるとするとそれは出版する fact2: なんらかのものが出版するなら青黒い fact3: 仮にあの都会人が発露でないけれどそれが焦げ臭いとするとそれは出版する fact4: あの都会人は発露でないがしかしそれは焦げ臭い fact5: もし仮に「なんらかのものは陥り易くないかあるいは出版するかあるいは両方ともである」ということは誤りであるならばそれは青黒くない fact6: その盾方は焦げ臭くない fact7: もしあの都会人が焦げ臭いし加えてキラーファト運動だとしたらそれはど偉い
fact3 & fact4 -> int1: あの都会人は出版する; fact2 -> int2: もしあの都会人が出版すればそれは青黒い; int1 & int2 -> hypothesis;
fact3 & fact4 -> int1: {B}{a}; fact2 -> int2: {B}{a} -> {A}{a}; int1 & int2 -> hypothesis;
あの都会人は青黒いということはない
fact8 -> int3: もしも「あの都会人は陥り易くないか出版するかもしくは両方ともだ」ということは成り立つということはないとしたら青黒くない;
$facts$ = fact1: なんらかのものは発露であるとするとそれは出版する fact2: なんらかのものが出版するなら青黒い fact3: 仮にあの都会人が発露でないけれどそれが焦げ臭いとするとそれは出版する fact4: あの都会人は発露でないがしかしそれは焦げ臭い fact5: もし仮に「なんらかのものは陥り易くないかあるいは出版するかあるいは両方ともである」ということは誤りであるならばそれは青黒くない fact6: その盾方は焦げ臭くない fact7: もしあの都会人が焦げ臭いし加えてキラーファト運動だとしたらそれはど偉い ; $hypothesis$ = あの都会人は青黒い ; $proof$ = 
fact3 & fact4 -> int1: あの都会人は出版する; fact2 -> int2: もしあの都会人が出版すればそれは青黒い; int1 & int2 -> hypothesis; __PROVED__
事実1: なんらかのものは発露であるとするとそれは出版する
事実2: なんらかのものが出版するなら青黒い
事実3: 仮にあの都会人が発露でないけれどそれが焦げ臭いとするとそれは出版する
事実4: あの都会人は発露でないがしかしそれは焦げ臭い
事実5: もし仮に「なんらかのものは陥り易くないかあるいは出版するかあるいは両方ともである」ということは誤りであるならばそれは青黒くない
事実6: その盾方は焦げ臭くない
事実7: もしあの都会人が焦げ臭いし加えてキラーファト運動だとしたらそれはど偉い

仮説: あの都会人は青黒い
1. 事実3と事実4から、推論1: "あの都会人は出版する"が導かれる
2. 事実2から、推論2: "もしあの都会人が出版すればそれは青黒い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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