そのぴくぴなLv.97は気高い
fact1: もしそのもにゅもにょLv.67が飲み易いけれど白っぽくないとすればそのぴくぴなLv.97は気高いということはない fact2: 悍ましいモンスターは飲み易いが白っぽいということはない
fact2 -> int1: そのもにゅもにょLv.67は悍ましいなら「飲み易い一方で白っぽくない」ということは確かである;
fact2 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa});
$facts$ = fact1: もしそのもにゅもにょLv.67が飲み易いけれど白っぽくないとすればそのぴくぴなLv.97は気高いということはない fact2: 悍ましいモンスターは飲み易いが白っぽいということはない ; $hypothesis$ = そのぴくぴなLv.97は気高い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__