あのみゆみにゃLv.20は愛せる
fact1: このみねみにLv.61は感じ難いということはないかあるいはみっとも可愛くないか両方である fact2: もし「感じ難くないかあるいはみっとも可愛くないか両方である」モンスターがいるとしたらそのぽくぽねLv.0は付き上げる fact3: 仮に「そのぽくぽねLv.0は付き上げる」ということは正しいならそれは卑し fact4: もし仮に「卑しないか愛せないかあるいは両方な」モンスターがいるならそのぽくぽねLv.0は感じ難い fact5: なにがしかのモンスターはみっとも可愛いかもしくは愛せるということはないならば「愛せない」ということは成り立つ
fact1 -> int1: あるモンスターは感じ難くないかまたはみっとも可愛くないかまたは両方である; int1 & fact2 -> int2: 「そのぽくぽねLv.0は付き上げる」ということは間違っていない; int2 & fact3 -> int3: そのぽくぽねLv.0は卑し;
fact1 -> int1: (Ex): (¬{A}x v ¬{B}x); int1 & fact2 -> int2: {C}{a}; int2 & fact3 -> int3: {D}{a};
あのみゆみにゃLv.20は愛せない
fact6 -> int4: もし仮にあのみゆみにゃLv.20はみっとも可愛いか愛せないかまたはどちらもであるならば愛せない;
$facts$ = fact1: このみねみにLv.61は感じ難いということはないかあるいはみっとも可愛くないか両方である fact2: もし「感じ難くないかあるいはみっとも可愛くないか両方である」モンスターがいるとしたらそのぽくぽねLv.0は付き上げる fact3: 仮に「そのぽくぽねLv.0は付き上げる」ということは正しいならそれは卑し fact4: もし仮に「卑しないか愛せないかあるいは両方な」モンスターがいるならそのぽくぽねLv.0は感じ難い fact5: なにがしかのモンスターはみっとも可愛いかもしくは愛せるということはないならば「愛せない」ということは成り立つ ; $hypothesis$ = あのみゆみにゃLv.20は愛せる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__