「あのぷゆぷにゃLv.72は即応出来るかそれは誇りっぽくない」ということは嘘である
fact1: 後ろめたくないモンスターは即応出来るかまたは誇りっぽくない fact2: あのぷゆぷにゃLv.72は御教示頂く fact3: あのぷゆぷにゃLv.72は誇りっぽい fact4: あのぷゆぷにゃLv.72が即応出来るかまたはそれは誇りっぽくないか両方ならそれは御教示頂くということはない fact5: もし仮に「このぴちゃぴちょLv.92は後ろめたくないけれど御教示頂く」ということは成り立たないとすればあのぷゆぷにゃLv.72は後ろめたくない fact6: もし仮にあのぷゆぷにゃLv.72が誇りっぽくないならあのぷゆぷにゃLv.72は御教示頂かない fact7: あのぷゆぷにゃLv.72は即応出来るかもしくは誇りっぽい
void -> assump1: 以下のように仮定する。あのぷゆぷにゃLv.72は即応出来るかもしくは誇りっぽくない; fact4 & assump1 -> int1: あのぷゆぷにゃLv.72は御教示頂くということはない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: ({AA}{a} v ¬{AB}{a}); fact4 & assump1 -> int1: ¬{B}{a}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> hypothesis;
以下のように仮定する。あのぷゆぷにゃLv.72は即応出来るかもしくは誇りっぽくない
fact9 -> int3: もしもあのぷゆぷにゃLv.72が後ろめたくないとしたらあのぷゆぷにゃLv.72は即応出来るかまたは誇りっぽくない;
$facts$ = fact1: 後ろめたくないモンスターは即応出来るかまたは誇りっぽくない fact2: あのぷゆぷにゃLv.72は御教示頂く fact3: あのぷゆぷにゃLv.72は誇りっぽい fact4: あのぷゆぷにゃLv.72が即応出来るかまたはそれは誇りっぽくないか両方ならそれは御教示頂くということはない fact5: もし仮に「このぴちゃぴちょLv.92は後ろめたくないけれど御教示頂く」ということは成り立たないとすればあのぷゆぷにゃLv.72は後ろめたくない fact6: もし仮にあのぷゆぷにゃLv.72が誇りっぽくないならあのぷゆぷにゃLv.72は御教示頂かない fact7: あのぷゆぷにゃLv.72は即応出来るかもしくは誇りっぽい ; $hypothesis$ = 「あのぷゆぷにゃLv.72は即応出来るかそれは誇りっぽくない」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぷゆぷにゃLv.72は即応出来るかもしくは誇りっぽくない; fact4 & assump1 -> int1: あのぷゆぷにゃLv.72は御教示頂くということはない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: ({AA}{a} v ¬{AB}{a}); fact4 & assump1 -> int1: ¬{B}{a}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> hypothesis; __PROVED__