the pinprick is Germanic if the ashlar is generative.
sent1: the ashlar is a Germanic. sent2: the carport accretes brokerage. sent3: the ashlar is a kind of a carboxyl if the pinprick is Germanic. sent4: something that accretes brokerage is a Germanic. sent5: if something is generative it is a carboxyl. sent6: if something is a kind of a carboxyl it accretes brokerage. sent7: if the pinprick is generative the ashlar is carboxyl. sent8: if something is a sacrificer it is a blancmange. sent9: if the pinprick does accrete brokerage then the ashlar is a Germanic. sent10: the canonist is generative. sent11: the pinprick collars floor. sent12: the ashlar is trihydroxy if it is a coatdress.
void -> assump1: Let's assume that the ashlar is generative.; sent6 -> int1: if the pinprick is a carboxyl then it does accrete brokerage.; sent4 -> int2: if the pinprick does accrete brokerage then it is a Germanic.;
$hypothesis$ = the pinprick is Germanic if the ashlar is generative. ; $context$ = sent1: the ashlar is a Germanic. sent2: the carport accretes brokerage. sent3: the ashlar is a kind of a carboxyl if the pinprick is Germanic. sent4: something that accretes brokerage is a Germanic. sent5: if something is generative it is a carboxyl. sent6: if something is a kind of a carboxyl it accretes brokerage. sent7: if the pinprick is generative the ashlar is carboxyl. sent8: if something is a sacrificer it is a blancmange. sent9: if the pinprick does accrete brokerage then the ashlar is a Germanic. sent10: the canonist is generative. sent11: the pinprick collars floor. sent12: the ashlar is trihydroxy if it is a coatdress. ; $proof$ = 
void -> assump1: Let's assume that the ashlar is generative.; sent6 -> int1: if the pinprick is a carboxyl then it does accrete brokerage.; sent4 -> int2: if the pinprick does accrete brokerage then it is a Germanic.; __UNKNOWN__