that if the fact that the sweetsop is pyogenic and does not lean Gomorrah does not hold the salesperson is not ink-jet does not hold.
sent1: if the salesperson is a Messiah and it is not non-expensive it is not ink-jet. sent2: if the cityscape is a space-time the fact that the mews is a raiser is not false. sent3: the fact that the cityscape is a kind of a raiser hold. sent4: the sweetsop is ink-jet. sent5: the salesperson is expensive. sent6: the salesperson is a kind of a Messiah if the mews is a raiser. sent7: the salesperson does blind constatation and it is a space-time. sent8: the salesperson repots life-style. sent9: the cityscape is a space-time if there exists something such that the fact that the fact that it is a kind of pyogenic thing that does not lean Gomorrah is correct is incorrect. sent10: if the salesperson is ink-jet and it is expensive it is not pyogenic. sent11: if a pyogenic thing does not lean Gomorrah then the cityscape is a kind of a space-time. sent12: if the cityscape is a kind of a raiser the mews is a space-time.
void -> assump1: Let's assume that that the sweetsop is pyogenic and does not lean Gomorrah is false.; assump1 -> int1: there exists something such that the fact that it is pyogenic and does not lean Gomorrah is false.; int1 & sent9 -> int2: the cityscape is a space-time.; int2 & sent2 -> int3: the mews is a kind of a raiser.; int3 & sent6 -> int4: the salesperson is a Messiah.; int4 & sent5 -> int5: the salesperson is a Messiah and it is expensive.; int5 & sent1 -> int6: the salesperson is not ink-jet.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that if the fact that the sweetsop is pyogenic and does not lean Gomorrah does not hold the salesperson is not ink-jet does not hold. ; $context$ = sent1: if the salesperson is a Messiah and it is not non-expensive it is not ink-jet. sent2: if the cityscape is a space-time the fact that the mews is a raiser is not false. sent3: the fact that the cityscape is a kind of a raiser hold. sent4: the sweetsop is ink-jet. sent5: the salesperson is expensive. sent6: the salesperson is a kind of a Messiah if the mews is a raiser. sent7: the salesperson does blind constatation and it is a space-time. sent8: the salesperson repots life-style. sent9: the cityscape is a space-time if there exists something such that the fact that the fact that it is a kind of pyogenic thing that does not lean Gomorrah is correct is incorrect. sent10: if the salesperson is ink-jet and it is expensive it is not pyogenic. sent11: if a pyogenic thing does not lean Gomorrah then the cityscape is a kind of a space-time. sent12: if the cityscape is a kind of a raiser the mews is a space-time. ; $proof$ = 
void -> assump1: Let's assume that that the sweetsop is pyogenic and does not lean Gomorrah is false.; assump1 -> int1: there exists something such that the fact that it is pyogenic and does not lean Gomorrah is false.; int1 & sent9 -> int2: the cityscape is a space-time.; int2 & sent2 -> int3: the mews is a kind of a raiser.; int3 & sent6 -> int4: the salesperson is a Messiah.; int4 & sent5 -> int5: the salesperson is a Messiah and it is expensive.; int5 & sent1 -> int6: the salesperson is not ink-jet.; [assump1] & int6 -> hypothesis; __DISPROVED__