「このぴにぴにゅLv.28は心安くておまけにそれはさもしい」ということは間違っている
fact1: このぴにぴにゅLv.28は優し fact2: あのぽちょぽにょLv.35はさもしい fact3: このぴにぴにゅLv.28は心安い fact4: そのぽちゃぽやLv.55は心安くてそれに後ろめたい fact5: もしなんらかのモンスターは合わせ易くないなら「それは心安くてさもしい」ということは誤っている
fact3 -> int1: このぴにぴにゅLv.28は心安い;
fact3 -> int1: {A}{a};
あのぽちょぽにょLv.35は落ち難いしその上さもしい
$facts$ = fact1: このぴにぴにゅLv.28は優し fact2: あのぽちょぽにょLv.35はさもしい fact3: このぴにぴにゅLv.28は心安い fact4: そのぽちゃぽやLv.55は心安くてそれに後ろめたい fact5: もしなんらかのモンスターは合わせ易くないなら「それは心安くてさもしい」ということは誤っている ; $hypothesis$ = 「このぴにぴにゅLv.28は心安くておまけにそれはさもしい」ということは間違っている ; $proof$ = 
__UNKNOWN__
__UNKNOWN__