the salsify is a swelling.
sent1: the salsify is a swelling if the fact that the fascista is a Zambia but it is not croupy is wrong. sent2: that if the salsify is either not phonics or not croupy or both then the salsify is not croupy is not wrong. sent3: the salsify does swell if the fascista is not a kind of a Zambia. sent4: the hydrolysate does swell. sent5: a non-croupy thing that is not a Zambia does not swell. sent6: the fascista is a Zambia.
void -> assump1: Let's assume that the fascista is a Zambia that is not croupy.; assump1 -> int1: that the fascista is not croupy is not false.;
the salsify is not a kind of a swelling.
sent5 -> int2: the salsify is not a swelling if it is non-croupy thing that is not a kind of a Zambia.;
$hypothesis$ = the salsify is a swelling. ; $context$ = sent1: the salsify is a swelling if the fact that the fascista is a Zambia but it is not croupy is wrong. sent2: that if the salsify is either not phonics or not croupy or both then the salsify is not croupy is not wrong. sent3: the salsify does swell if the fascista is not a kind of a Zambia. sent4: the hydrolysate does swell. sent5: a non-croupy thing that is not a Zambia does not swell. sent6: the fascista is a Zambia. ; $proof$ = 
void -> assump1: Let's assume that the fascista is a Zambia that is not croupy.; assump1 -> int1: that the fascista is not croupy is not false.; __UNKNOWN__