「このみちゃみにLv.28は長生きするしさらにそれは緩み易い」ということは成り立たない
fact1: このぷちょぷゆLv.12は塩辛い fact2: 「このみちゃみにLv.28は長生きする」ということは間違っていない fact3: 「このぷちょぷゆLv.12は長生きする」ということは嘘でない fact4: あのみいみちょLv.60は名状し難くない fact5: もしもとあるモンスターが塩辛いとすると名状し難い fact6: 仮にこのぷちょぷゆLv.12が長生きするならこのみちゃみにLv.28は塩辛い
fact5 -> int1: このぷちょぷゆLv.12が塩辛いとしたらそれは名状し難い; int1 & fact1 -> int2: このぷちょぷゆLv.12は名状し難い;
fact5 -> int1: {A}{a} -> {B}{a}; int1 & fact1 -> int2: {B}{a};
「このみちゃみにLv.28は長生きするしさらにそれは緩み易い」ということは成り立たない
$facts$ = fact1: このぷちょぷゆLv.12は塩辛い fact2: 「このみちゃみにLv.28は長生きする」ということは間違っていない fact3: 「このぷちょぷゆLv.12は長生きする」ということは嘘でない fact4: あのみいみちょLv.60は名状し難くない fact5: もしもとあるモンスターが塩辛いとすると名状し難い fact6: 仮にこのぷちょぷゆLv.12が長生きするならこのみちゃみにLv.28は塩辛い ; $hypothesis$ = 「このみちゃみにLv.28は長生きするしさらにそれは緩み易い」ということは成り立たない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__