あのもいもにょLv.11は補給出来なくて加えてそれは睨み付けるということはない
fact1: もし仮に「このぷにゃぷなLv.38は補給出来る」ということは成り立つとするとそれは犯し易い fact2: このぷにゃぷなLv.38は犯し易くない fact3: もしこのぷにゃぷなLv.38は補給出来るということはないなら「あのもいもにょLv.11は補給出来なくてしかも睨み付けるということはない」ということは偽だ
void -> assump1: 以下のように仮定する。このぷにゃぷなLv.38は補給出来る; fact1 & assump1 -> int1: このぷにゃぷなLv.38は犯し易い; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このぷにゃぷなLv.38は補給出来ない」ということは事実である; int3 & fact3 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact3 -> hypothesis;
$facts$ = fact1: もし仮に「このぷにゃぷなLv.38は補給出来る」ということは成り立つとするとそれは犯し易い fact2: このぷにゃぷなLv.38は犯し易くない fact3: もしこのぷにゃぷなLv.38は補給出来るということはないなら「あのもいもにょLv.11は補給出来なくてしかも睨み付けるということはない」ということは偽だ ; $hypothesis$ = あのもいもにょLv.11は補給出来なくて加えてそれは睨み付けるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。このぷにゃぷなLv.38は補給出来る; fact1 & assump1 -> int1: このぷにゃぷなLv.38は犯し易い; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このぷにゃぷなLv.38は補給出来ない」ということは事実である; int3 & fact3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact3 -> hypothesis; __DISPROVED__