if the lander is a kind of a plural the inhalant liquefies Gambia.
sent1: something does not salivate if it does not liquefy Gambia. sent2: the furosemide does not liquefy Gambia if it ravens Blackpool and it is a kind of a eparch. sent3: something that is a earlobe ravens Blackpool. sent4: the Black salivates if the lander is a plural. sent5: if the inhalant is a kind of a plural then the lander does liquefy Gambia. sent6: something that does not salivate is a plural. sent7: the furosemide is a kind of a earlobe and is a chandler. sent8: if the fact that the lander liquefies Gambia is not false then the inhalant is a kind of a plural. sent9: the inhalant does liquefy Gambia if the Black salivates. sent10: the Black liquefies Gambia.
void -> assump1: Let's assume that the lander is not non-plural.; sent4 & assump1 -> int1: the Black does salivate.; sent9 & int1 -> int2: the inhalant liquefies Gambia.; [assump1] & int2 -> hypothesis;
the furosemide is a plural.
sent6 -> int3: if the furosemide does not salivate then that it is plural is not incorrect.; sent1 -> int4: if that the furosemide does not liquefy Gambia hold it does not salivate.; sent3 -> int5: the furosemide does raven Blackpool if it is a earlobe.; sent7 -> int6: the furosemide is a kind of a earlobe.; int5 & int6 -> int7: the furosemide ravens Blackpool.;
$hypothesis$ = if the lander is a kind of a plural the inhalant liquefies Gambia. ; $context$ = sent1: something does not salivate if it does not liquefy Gambia. sent2: the furosemide does not liquefy Gambia if it ravens Blackpool and it is a kind of a eparch. sent3: something that is a earlobe ravens Blackpool. sent4: the Black salivates if the lander is a plural. sent5: if the inhalant is a kind of a plural then the lander does liquefy Gambia. sent6: something that does not salivate is a plural. sent7: the furosemide is a kind of a earlobe and is a chandler. sent8: if the fact that the lander liquefies Gambia is not false then the inhalant is a kind of a plural. sent9: the inhalant does liquefy Gambia if the Black salivates. sent10: the Black liquefies Gambia. ; $proof$ = 
void -> assump1: Let's assume that the lander is not non-plural.; sent4 & assump1 -> int1: the Black does salivate.; sent9 & int1 -> int2: the inhalant liquefies Gambia.; [assump1] & int2 -> hypothesis; __PROVED__