あのまくまにゃLv.47は恭しい
fact1: 仮にあのまくまにゃLv.47が発揮し易いとしたらあのまくまにゃLv.47はアーカイブする fact2: あのまくまにゃLv.47はアーカイブしない fact3: このみくみいLv.96がアーカイブすればそれは発揮し易い fact4: もし仮にそのぴちょぴちょLv.81は姦しいなら「埋蔵しない」ということは本当だ fact5: 仮に「あるモンスターは埋蔵しない」ということは本当であるなら恭しいしまた疾し
void -> assump1: 以下のように仮定する。あのまくまにゃLv.47は発揮し易い; fact1 & assump1 -> int1: あのまくまにゃLv.47はアーカイブする; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのまくまにゃLv.47は発揮し易くない;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a};
あのまくまにゃLv.47は恭しくない
$facts$ = fact1: 仮にあのまくまにゃLv.47が発揮し易いとしたらあのまくまにゃLv.47はアーカイブする fact2: あのまくまにゃLv.47はアーカイブしない fact3: このみくみいLv.96がアーカイブすればそれは発揮し易い fact4: もし仮にそのぴちょぴちょLv.81は姦しいなら「埋蔵しない」ということは本当だ fact5: 仮に「あるモンスターは埋蔵しない」ということは本当であるなら恭しいしまた疾し ; $hypothesis$ = あのまくまにゃLv.47は恭しい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__