「「もし仮に信心深いなら信心深いけれど勘違いし易くない」モンスターはいる」ということは嘘だ
fact1: 「このぽにょぽちょLv.34は勘違いし易くない」ということは真実である fact2: 仮にこのぽにょぽちょLv.34が信心深いとしたらこのぽにょぽちょLv.34は信心深いしまたそれは勘違いし易い
void -> assump1: 以下のように仮定する。このぽにょぽちょLv.34は信心深い; assump1 & fact1 -> int1: このぽにょぽちょLv.34は信心深い一方で勘違いし易くない; [assump1] & int1 -> int2: 「このぽにょぽちょLv.34が信心深いとすればこのぽにょぽちょLv.34は信心深いけれど勘違いし易いということはない」ということは嘘であるということはない; int2 -> hypothesis;
void -> assump1: {A}{a}; assump1 & fact1 -> int1: ({A}{a} & ¬{B}{a}); [assump1] & int1 -> int2: {A}{a} -> ({A}{a} & ¬{B}{a}); int2 -> hypothesis;
$facts$ = fact1: 「このぽにょぽちょLv.34は勘違いし易くない」ということは真実である fact2: 仮にこのぽにょぽちょLv.34が信心深いとしたらこのぽにょぽちょLv.34は信心深いしまたそれは勘違いし易い ; $hypothesis$ = 「「もし仮に信心深いなら信心深いけれど勘違いし易くない」モンスターはいる」ということは嘘だ ; $proof$ = 
void -> assump1: 以下のように仮定する。このぽにょぽちょLv.34は信心深い; assump1 & fact1 -> int1: このぽにょぽちょLv.34は信心深い一方で勘違いし易くない; [assump1] & int1 -> int2: 「このぽにょぽちょLv.34が信心深いとすればこのぽにょぽちょLv.34は信心深いけれど勘違いし易いということはない」ということは嘘であるということはない; int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; assump1 & fact1 -> int1: ({A}{a} & ¬{B}{a}); [assump1] & int1 -> int2: {A}{a} -> ({A}{a} & ¬{B}{a}); int2 -> hypothesis; __DISPROVED__