そのもちゅもにゅLv.16は物欲しくない
fact1: 「地下深くないモンスターは急接近するが大差無くない」ということは偽でない fact2: そのもよもゆLv.47は大差無くない fact3: もし仮にそのもちゅもにゅLv.16が物欲しいとすると青っぽい fact4: 大差無くないモンスターは物欲しくてかつ青っぽい fact5: そのもちゅもにゅLv.16が青っぽいとするとそのもよもゆLv.47は大差無い
void -> assump1: 以下のように仮定する。そのもちゅもにゅLv.16は物欲しい; fact3 & assump1 -> int1: そのもちゅもにゅLv.16は青っぽい; int1 & fact5 -> int2: 「そのもよもゆLv.47は大差無い」ということは成り立つ; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。そのもちゅもにゅLv.16は物欲しい
fact7 -> int4: もしもそのもちゅもにゅLv.16が大差無くないならばそのもちゅもにゅLv.16は物欲しいしおまけに青っぽい; fact6 -> int5: そのもちゅもにゅLv.16が地下深くないとするとそのもちゅもにゅLv.16は急接近するが大差無くない;
$facts$ = fact1: 「地下深くないモンスターは急接近するが大差無くない」ということは偽でない fact2: そのもよもゆLv.47は大差無くない fact3: もし仮にそのもちゅもにゅLv.16が物欲しいとすると青っぽい fact4: 大差無くないモンスターは物欲しくてかつ青っぽい fact5: そのもちゅもにゅLv.16が青っぽいとするとそのもよもゆLv.47は大差無い ; $hypothesis$ = そのもちゅもにゅLv.16は物欲しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのもちゅもにゅLv.16は物欲しい; fact3 & assump1 -> int1: そのもちゅもにゅLv.16は青っぽい; int1 & fact5 -> int2: 「そのもよもゆLv.47は大差無い」ということは成り立つ; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__