あのぽにょぽのLv.37は仰向けない
fact1: もしもそのぴちゃぴにゃLv.67が遜色無いとしたらあのぽにょぽのLv.37は仰向ける fact2: そのぴちゃぴにゃLv.67は眩い fact3: 仮にそのぴちゃぴにゃLv.67が眩いとするとそれは遜色無い
fact3 & fact2 -> int1: そのぴちゃぴにゃLv.67は遜色無い; int1 & fact1 -> hypothesis;
fact3 & fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もしもそのぴちゃぴにゃLv.67が遜色無いとしたらあのぽにょぽのLv.37は仰向ける fact2: そのぴちゃぴにゃLv.67は眩い fact3: 仮にそのぴちゃぴにゃLv.67が眩いとするとそれは遜色無い ; $hypothesis$ = あのぽにょぽのLv.37は仰向けない ; $proof$ = 
fact3 & fact2 -> int1: そのぴちゃぴにゃLv.67は遜色無い; int1 & fact1 -> hypothesis; __DISPROVED__
fact3 & fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __DISPROVED__