あのみちゃみにゅLv.76はどうして良いということはない
fact1: 因り難いモンスターは罪深い fact2: あのみちゃみにゅLv.76は寝苦しくて届き易い fact3: 「あのみちゃみにゅLv.76が寝苦しいならばあのみちゃみにゅLv.76はどうして良い」ということは事実と異なるということはない
fact2 -> int1: あのみちゃみにゅLv.76は寝苦しい; int1 & fact3 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact3 -> hypothesis;
もしあのみちゃみにゅLv.76が因り難いならば罪深い
fact4 -> hypothesis;
$facts$ = fact1: 因り難いモンスターは罪深い fact2: あのみちゃみにゅLv.76は寝苦しくて届き易い fact3: 「あのみちゃみにゅLv.76が寝苦しいならばあのみちゃみにゅLv.76はどうして良い」ということは事実と異なるということはない ; $hypothesis$ = あのみちゃみにゅLv.76はどうして良いということはない ; $proof$ = 
fact2 -> int1: あのみちゃみにゅLv.76は寝苦しい; int1 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact3 -> hypothesis; __DISPROVED__