そのぽよぽにLv.0は論断する
fact1: あのぽのぽくLv.40は論断する fact2: あらゆるモンスターは論断する
fact2 -> int1: あらゆるモンスターは論断する; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
$facts$ = fact1: あのぽのぽくLv.40は論断する fact2: あらゆるモンスターは論断する ; $hypothesis$ = そのぽよぽにLv.0は論断する ; $proof$ = 
fact2 -> int1: あらゆるモンスターは論断する; int1 -> hypothesis; __PROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__