「このぴにゅぴくLv.21が決め難いとすればあのぽえぽよLv.28は汚れ易い」ということは誤りである
fact1: もしも「このぴにゅぴくLv.21は決め難い」ということは間違っていないとすればあのぴにゃぴよLv.7は粘り強い fact2: もしも「このみねみなLv.84は儚い」ということは正しいとすればあのぽえぽよLv.28は汚れ易い fact3: あのぽえぽよLv.28は粘り強い fact4: 弁解がましいということはないモンスターは儚いけど汚れ易くない fact5: このぴにゅぴくLv.21は浸らないし弁解がましかない fact6: あのぽえぽよLv.28は儚い
void -> assump1: 以下のように仮定する。「このぴにゅぴくLv.21は決め難い」ということは本当だ; fact1 & assump1 -> int1: 「あのぴにゃぴよLv.7は粘り強い」ということは成り立つ;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{b};
あのぽにゃぽちゃLv.52は粘り強い
fact8 -> int2: 仮にこのぴにゅぴくLv.21が弁解がましかないなら儚いがしかし汚れ易くない; fact7 -> int3: このぴにゅぴくLv.21は弁解がましかない; int2 & int3 -> int4: このぴにゅぴくLv.21は儚いけれどそれは汚れ易いということはない; int4 -> int5: このぴにゅぴくLv.21は儚い; int5 -> int6: とあるモンスターは儚い;
$facts$ = fact1: もしも「このぴにゅぴくLv.21は決め難い」ということは間違っていないとすればあのぴにゃぴよLv.7は粘り強い fact2: もしも「このみねみなLv.84は儚い」ということは正しいとすればあのぽえぽよLv.28は汚れ易い fact3: あのぽえぽよLv.28は粘り強い fact4: 弁解がましいということはないモンスターは儚いけど汚れ易くない fact5: このぴにゅぴくLv.21は浸らないし弁解がましかない fact6: あのぽえぽよLv.28は儚い ; $hypothesis$ = 「このぴにゅぴくLv.21が決め難いとすればあのぽえぽよLv.28は汚れ易い」ということは誤りである ; $proof$ = 
__UNKNOWN__
__UNKNOWN__