このぷなぷちゃLv.80は行儀良くない
fact1: 「そのぴわぴにょLv.39は撃墜出来る」ということは誤っていない fact2: もし仮にこのぷなぷちゃLv.80が誤解され易いかあるいはそれが行儀良いとすればそのぴわぴにょLv.39は撃墜出来ない
void -> assump1: 以下のように仮定する。このぷなぷちゃLv.80は行儀良い; assump1 -> int1: このぷなぷちゃLv.80は誤解され易いかもしくは行儀良いかどちらもである; int1 & fact2 -> int2: そのぴわぴにょLv.39は撃墜出来ない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 「そのぴわぴにょLv.39は撃墜出来る」ということは誤っていない fact2: もし仮にこのぷなぷちゃLv.80が誤解され易いかあるいはそれが行儀良いとすればそのぴわぴにょLv.39は撃墜出来ない ; $hypothesis$ = このぷなぷちゃLv.80は行儀良くない ; $proof$ = 
void -> assump1: 以下のように仮定する。このぷなぷちゃLv.80は行儀良い; assump1 -> int1: このぷなぷちゃLv.80は誤解され易いかもしくは行儀良いかどちらもである; int1 & fact2 -> int2: そのぴわぴにょLv.39は撃墜出来ない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__