if the fact that the finding occurs is true the pilarness happens.
sent1: the Bangladeshiness occurs. sent2: the faro does not occur if both the finding and the puffing happens. sent3: the burglarizing dobra happens. sent4: that the puff does not occur prevents the non-pilarness. sent5: the annual happens.
void -> assump1: Let's assume that the finding occurs.; void -> assump2: Let's assume that the puffing happens.; assump1 & assump2 -> int1: the finding and the puff happens.; int1 & sent2 -> int2: the faro does not occur.;
$hypothesis$ = if the fact that the finding occurs is true the pilarness happens. ; $context$ = sent1: the Bangladeshiness occurs. sent2: the faro does not occur if both the finding and the puffing happens. sent3: the burglarizing dobra happens. sent4: that the puff does not occur prevents the non-pilarness. sent5: the annual happens. ; $proof$ = 
void -> assump1: Let's assume that the finding occurs.; void -> assump2: Let's assume that the puffing happens.; assump1 & assump2 -> int1: the finding and the puff happens.; int1 & sent2 -> int2: the faro does not occur.; __UNKNOWN__