あの一般市は活気付けるということはない
fact1: なにがしかの物が人参スープでないなら活気付けるしまた予測し難い fact2: もしあの一般市が活気付けるならこの丹毒は予測し難い fact3: この丹毒は予測し難くない fact4: もし仮になんらかの物が際立つということはないとしたら人参スープでないかもしくは美味しいということはない fact5: もしもこの丹毒が人参スープでないかもしくは美味しかないかもしくは両方だとするとあの一般市は人参スープであるということはない fact6: 仮に人参スープは予測し難くないならそれは活気付けない
void -> assump1: 以下のように仮定する。あの一般市は活気付ける; fact2 & assump1 -> int1: この丹毒は予測し難い; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> hypothesis;
あの一般市は活気付ける
fact7 -> int3: もしも「あの一般市は人参スープでない」ということは事実ならそれは活気付けるし予測し難い; fact8 -> int4: もしも「この丹毒は際立たない」ということは成り立てばそれは人参スープであるということはないかもしくは美味しかないかどちらもだ;
$facts$ = fact1: なにがしかの物が人参スープでないなら活気付けるしまた予測し難い fact2: もしあの一般市が活気付けるならこの丹毒は予測し難い fact3: この丹毒は予測し難くない fact4: もし仮になんらかの物が際立つということはないとしたら人参スープでないかもしくは美味しいということはない fact5: もしもこの丹毒が人参スープでないかもしくは美味しかないかもしくは両方だとするとあの一般市は人参スープであるということはない fact6: 仮に人参スープは予測し難くないならそれは活気付けない ; $hypothesis$ = あの一般市は活気付けるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの一般市は活気付ける; fact2 & assump1 -> int1: この丹毒は予測し難い; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: なにがしかの物が人参スープでないなら活気付けるしまた予測し難い
事実2: もしあの一般市が活気付けるならこの丹毒は予測し難い
事実3: この丹毒は予測し難くない
事実4: もし仮になんらかの物が際立つということはないとしたら人参スープでないかもしくは美味しいということはない
事実5: もしもこの丹毒が人参スープでないかもしくは美味しかないかもしくは両方だとするとあの一般市は人参スープであるということはない
事実6: 仮に人参スープは予測し難くないならそれは活気付けない

仮説: あの一般市は活気付けるということはない
1. 仮定1: 以下のように仮定する。あの一般市は活気付ける
2. 事実2と仮定1から、推論1: "この丹毒は予測し難い"が導かれる
3. 推論1と事実3から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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