あのぽちゃぽよLv.75は遮蔽する
fact1: あのぽちゃぽよLv.75が着地するとしたら遮蔽する fact2: あのぽちゃぽよLv.75は奥深いし着地する
fact2 -> int1: あのぽちゃぽよLv.75は着地する; int1 & fact1 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: あのぽちゃぽよLv.75が着地するとしたら遮蔽する fact2: あのぽちゃぽよLv.75は奥深いし着地する ; $hypothesis$ = あのぽちゃぽよLv.75は遮蔽する ; $proof$ = 
fact2 -> int1: あのぽちゃぽよLv.75は着地する; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __PROVED__