「もし仮にこのもいもちゃLv.82が低いならばあのぴのぴにゅLv.53は御存じ無い」ということは間違いである
fact1: もし仮に「あのぴのぴにゅLv.53は実現し易い」ということは真実であるとすると「御存じ無い」ということは成り立つ fact2: もしこのもいもちゃLv.82が低いならあのぴのぴにゅLv.53は実現し易い
void -> assump1: 以下のように仮定する。このもいもちゃLv.82は低い; fact2 & assump1 -> int1: あのぴのぴにゅLv.53は実現し易い; int1 & fact1 -> int2: あのぴのぴにゅLv.53は御存じ無い; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もし仮に「あのぴのぴにゅLv.53は実現し易い」ということは真実であるとすると「御存じ無い」ということは成り立つ fact2: もしこのもいもちゃLv.82が低いならあのぴのぴにゅLv.53は実現し易い ; $hypothesis$ = 「もし仮にこのもいもちゃLv.82が低いならばあのぴのぴにゅLv.53は御存じ無い」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。このもいもちゃLv.82は低い; fact2 & assump1 -> int1: あのぴのぴにゅLv.53は実現し易い; int1 & fact1 -> int2: あのぴのぴにゅLv.53は御存じ無い; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{b}; [assump1] & int2 -> hypothesis; __DISPROVED__