there is something such that if it is not solar then it does not weld merchandise.
sent1: if the Coloradan is a kind of a neediness it does not perorate. sent2: that the industrialist is a flaw hold. sent3: something is solar if the fact that it does not reimburse Nagasaki and it does flaw does not hold. sent4: there is something such that if it is not solar it welds merchandise.
void -> assump1: Let's assume that the Coloradan does weld merchandise.; sent3 -> int1: if the fact that the Coloradan does not reimburse Nagasaki and is a flaw is incorrect it is solar.;
$hypothesis$ = there is something such that if it is not solar then it does not weld merchandise. ; $context$ = sent1: if the Coloradan is a kind of a neediness it does not perorate. sent2: that the industrialist is a flaw hold. sent3: something is solar if the fact that it does not reimburse Nagasaki and it does flaw does not hold. sent4: there is something such that if it is not solar it welds merchandise. ; $proof$ = 
void -> assump1: Let's assume that the Coloradan does weld merchandise.; sent3 -> int1: if the fact that the Coloradan does not reimburse Nagasaki and is a flaw is incorrect it is solar.; __UNKNOWN__