the piggery is a digitalization.
sent1: the fact that the transient is a digitalization hold. sent2: the piggery invites stunner if it is not gynecological. sent3: the fact that the smear is a digitalization but not a Indian is not right if the fact that it does not rasp hold. sent4: the piggery is a Indian. sent5: the piggery is a kind of a Cedrela. sent6: if something is not formalistic the fact that it is not a rasp or it is Indian or both does not hold. sent7: that something is not a Indian if it is a rasp is not wrong. sent8: the Englishwoman is not a Indian. sent9: the asthmatic is not a kind of a Indian. sent10: the piggery does satisfy. sent11: the fact that the dealfish is a digitalization is right.
void -> assump1: Let's assume that the piggery is not a digitalization.; sent7 -> int1: if the fact that the piggery does rasp hold it is not a Indian.;
the piggery is not a digitalization.
$hypothesis$ = the piggery is a digitalization. ; $context$ = sent1: the fact that the transient is a digitalization hold. sent2: the piggery invites stunner if it is not gynecological. sent3: the fact that the smear is a digitalization but not a Indian is not right if the fact that it does not rasp hold. sent4: the piggery is a Indian. sent5: the piggery is a kind of a Cedrela. sent6: if something is not formalistic the fact that it is not a rasp or it is Indian or both does not hold. sent7: that something is not a Indian if it is a rasp is not wrong. sent8: the Englishwoman is not a Indian. sent9: the asthmatic is not a kind of a Indian. sent10: the piggery does satisfy. sent11: the fact that the dealfish is a digitalization is right. ; $proof$ = 
void -> assump1: Let's assume that the piggery is not a digitalization.; sent7 -> int1: if the fact that the piggery does rasp hold it is not a Indian.; __UNKNOWN__