そのみくみちゅLv.52は判断し難くない
fact1: もしも「なにがしかのモンスターは突き出さないが悪賢い」ということは事実と異なるとしたら悪賢くない fact2: あのぷゆぷいLv.49は突き出す fact3: そのみくみちゅLv.52は悪賢い fact4: そのみくみちゅLv.52が判断し難いしおまけに悪賢いとしたらあのぷゆぷいLv.49は突き出さない fact5: あのぷゆぷいLv.49は判断し難くない
void -> assump1: 以下のように仮定する。そのみくみちゅLv.52は判断し難い; assump1 & fact3 -> int1: そのみくみちゅLv.52は判断し難くておまけに悪賢い; int1 & fact4 -> int2: あのぷゆぷいLv.49は突き出さない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。そのみくみちゅLv.52は判断し難い
fact6 -> int4: 「もしも「あのぷゆぷいLv.49は突き出すということはない一方でそれは悪賢い」ということは本当でないならあのぷゆぷいLv.49は悪賢くない」ということは確かである;
$facts$ = fact1: もしも「なにがしかのモンスターは突き出さないが悪賢い」ということは事実と異なるとしたら悪賢くない fact2: あのぷゆぷいLv.49は突き出す fact3: そのみくみちゅLv.52は悪賢い fact4: そのみくみちゅLv.52が判断し難いしおまけに悪賢いとしたらあのぷゆぷいLv.49は突き出さない fact5: あのぷゆぷいLv.49は判断し難くない ; $hypothesis$ = そのみくみちゅLv.52は判断し難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのみくみちゅLv.52は判断し難い; assump1 & fact3 -> int1: そのみくみちゅLv.52は判断し難くておまけに悪賢い; int1 & fact4 -> int2: あのぷゆぷいLv.49は突き出さない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; assump1 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__