「あのぴわぴにLv.94は湾曲する」ということは正しい
fact1: もしもあのぴわぴにLv.94が描き易いなら湾曲する fact2: あのぴわぴにLv.94は混入し易くておまけに描き易い
fact2 -> int1: あのぴわぴにLv.94は描き易い; int1 & fact1 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もしもあのぴわぴにLv.94が描き易いなら湾曲する fact2: あのぴわぴにLv.94は混入し易くておまけに描き易い ; $hypothesis$ = 「あのぴわぴにLv.94は湾曲する」ということは正しい ; $proof$ = 
fact2 -> int1: あのぴわぴにLv.94は描き易い; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __PROVED__