「あのぴちゅぴわLv.18は確認し易い」ということは成り立つ
fact1: 仮にあのぴちゅぴわLv.18は重々しいし離別するならそれは確認し易くない fact2: 「あらゆるモンスターは弛い」ということは正しい fact3: あらゆるモンスターは弛くてさらにそれは離別する
fact3 -> int1: あのぴちゅぴわLv.18は弛いしおまけに離別する; int1 -> int2: あのぴちゅぴわLv.18は離別する;
fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a};
$facts$ = fact1: 仮にあのぴちゅぴわLv.18は重々しいし離別するならそれは確認し易くない fact2: 「あらゆるモンスターは弛い」ということは正しい fact3: あらゆるモンスターは弛くてさらにそれは離別する ; $hypothesis$ = 「あのぴちゅぴわLv.18は確認し易い」ということは成り立つ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__