「あのぽちょぽよLv.43は憎しないが流され易い」ということは間違いである
fact1: もし仮にあのぽちょぽよLv.43が間違い無いとしたらあのぽにょぽちゃLv.52は憎しないけれど間違い無い fact2: 仮に「とあるモンスターは間違い無い」ということは確かであるならばそれは馴染み難い fact3: もし仮にあのぽにょぽちゃLv.52が馴染み難いとすればそのぷよぷやLv.67は流され易い fact4: そのぷよぷやLv.67が流され易いとしたらあのぽちょぽよLv.43は憎しないけど流され易い fact5: 仮にそのぷよぷやLv.67が憎しとすればあのぽちょぽよLv.43は流され易くないがしかし憎し
fact2 -> int1: もし仮にあのぽにょぽちゃLv.52は間違い無いとすれば「あのぽにょぽちゃLv.52は馴染み難い」ということは正しい;
fact2 -> int1: {A}{a} -> {B}{a};
$facts$ = fact1: もし仮にあのぽちょぽよLv.43が間違い無いとしたらあのぽにょぽちゃLv.52は憎しないけれど間違い無い fact2: 仮に「とあるモンスターは間違い無い」ということは確かであるならばそれは馴染み難い fact3: もし仮にあのぽにょぽちゃLv.52が馴染み難いとすればそのぷよぷやLv.67は流され易い fact4: そのぷよぷやLv.67が流され易いとしたらあのぽちょぽよLv.43は憎しないけど流され易い fact5: 仮にそのぷよぷやLv.67が憎しとすればあのぽちょぽよLv.43は流され易くないがしかし憎し ; $hypothesis$ = 「あのぽちょぽよLv.43は憎しないが流され易い」ということは間違いである ; $proof$ = 
__UNKNOWN__
__UNKNOWN__