このもわもえLv.25は見え難いがしかしそれは飲み難くない
fact1: もし仮にこのもわもえLv.25は邪魔臭いならば「久し」ということは本当だ fact2: このもわもえLv.25は多いということはない fact3: 全てのモンスターは美味しくない fact4: し易くないモンスターは飲み難くないがしかし多い fact5: もしもこのもわもえLv.25が飲み難いなら多い
void -> assump1: 以下のように仮定する。このもわもえLv.25は飲み難い; fact5 & assump1 -> int1: 「このもわもえLv.25は多い」ということは事実と異ならない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: このもわもえLv.25は飲み難いということはない;
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{a}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a};
「このもわもえLv.25は見え難いけれど飲み難くない」ということは間違いである
fact6 -> int4: このぽやぽなLv.30は美味しくない;
$facts$ = fact1: もし仮にこのもわもえLv.25は邪魔臭いならば「久し」ということは本当だ fact2: このもわもえLv.25は多いということはない fact3: 全てのモンスターは美味しくない fact4: し易くないモンスターは飲み難くないがしかし多い fact5: もしもこのもわもえLv.25が飲み難いなら多い ; $hypothesis$ = このもわもえLv.25は見え難いがしかしそれは飲み難くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__