このぽくぽちょLv.5は当たり易くない
fact1: もし「このぽくぽちょLv.5は素っ破抜く」ということは偽でないとすればこのぽくぽちょLv.5は君らしい fact2: このぽくぽちょLv.5は想定し難いし素っ破抜く
fact2 -> int1: このぽくぽちょLv.5は素っ破抜く; int1 & fact1 -> int2: 「このぽくぽちょLv.5は君らしい」ということは成り立つ;
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a};
$facts$ = fact1: もし「このぽくぽちょLv.5は素っ破抜く」ということは偽でないとすればこのぽくぽちょLv.5は君らしい fact2: このぽくぽちょLv.5は想定し難いし素っ破抜く ; $hypothesis$ = このぽくぽちょLv.5は当たり易くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__