そのぷにゅぷちゅLv.83は返却する
fact1: そのぷにゅぷちゅLv.83は形容し難くない fact2: 全てのモンスターは返却するということはないしさらに形容し難くない fact3: そのぷにゅぷちゅLv.83は幼しないし更に蓄積しない fact4: 全てのモンスターは繋がり兼ねないしそれは四角くない
fact2 -> int1: そのぷにゅぷちゅLv.83は返却しなくてかつ形容し難くない; int1 -> hypothesis;
fact2 -> int1: (¬{A}{aa} & ¬{B}{aa}); int1 -> hypothesis;
$facts$ = fact1: そのぷにゅぷちゅLv.83は形容し難くない fact2: 全てのモンスターは返却するということはないしさらに形容し難くない fact3: そのぷにゅぷちゅLv.83は幼しないし更に蓄積しない fact4: 全てのモンスターは繋がり兼ねないしそれは四角くない ; $hypothesis$ = そのぷにゅぷちゅLv.83は返却する ; $proof$ = 
fact2 -> int1: そのぷにゅぷちゅLv.83は返却しなくてかつ形容し難くない; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (¬{A}{aa} & ¬{B}{aa}); int1 -> hypothesis; __DISPROVED__