そのみちょみのLv.32は徒らっぽいかもしくは心安い
fact1: そのみちょみなLv.41は親しみ易くない fact2: もしもそのみにょみちゅLv.61が徒らっぽくないとすればそのみちょみのLv.32は徒らっぽくない fact3: もしもそのみにょみちゅLv.61は徒らっぽくないとしたら「そのみちょみのLv.32は徒らっぽいかもしくは心安いかどちらもだ」ということは成り立つということはない fact4: もし仮に何らかのモンスターは確認し易くないなら「徒らっぽいしその上親しみ易い」ということは成り立つ fact5: 仮に「そのみにょみちゅLv.61は徒らっぽい」ということは事実ならそのみちょみなLv.41は親しみ易い
void -> assump1: 以下のように仮定する。そのみにょみちゅLv.61は徒らっぽい; fact5 & assump1 -> int1: そのみちょみなLv.41は親しみ易い; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのみにょみちゅLv.61は徒らっぽくない; int3 & fact3 -> hypothesis;
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact3 -> hypothesis;
そのみちょみのLv.32は徒らっぽいかもしくは心安い
fact6 -> int4: もしもそのみちょみのLv.32が確認し易くないならそのみちょみのLv.32が徒らっぽいしその上それは親しみ易い;
$facts$ = fact1: そのみちょみなLv.41は親しみ易くない fact2: もしもそのみにょみちゅLv.61が徒らっぽくないとすればそのみちょみのLv.32は徒らっぽくない fact3: もしもそのみにょみちゅLv.61は徒らっぽくないとしたら「そのみちょみのLv.32は徒らっぽいかもしくは心安いかどちらもだ」ということは成り立つということはない fact4: もし仮に何らかのモンスターは確認し易くないなら「徒らっぽいしその上親しみ易い」ということは成り立つ fact5: 仮に「そのみにょみちゅLv.61は徒らっぽい」ということは事実ならそのみちょみなLv.41は親しみ易い ; $hypothesis$ = そのみちょみのLv.32は徒らっぽいかもしくは心安い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのみにょみちゅLv.61は徒らっぽい; fact5 & assump1 -> int1: そのみちょみなLv.41は親しみ易い; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのみにょみちゅLv.61は徒らっぽくない; int3 & fact3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact3 -> hypothesis; __DISPROVED__