the celandine is a disobedience and/or it is not a Haitian.
sent1: if the sounder does not ebb rent-a-car then it is not capitalistic. sent2: if the sounder does not fibrillate then that the Palatine is not low-resolution but it is supersonic does not hold. sent3: the sounder does not fibrillate if it is not capitalistic. sent4: if the Palatine is not a kind of a Lancastrian it is not low-resolution but supersonic. sent5: if there exists something such that it ebbs rent-a-car the celandine is a disobedience and/or it is not a Haitian. sent6: the Palatine is not a Lancastrian.
void -> assump1: Let's assume that the sounder does not ebb rent-a-car.; sent1 & assump1 -> int1: the sounder is not capitalistic.; int1 & sent3 -> int2: the sounder does not fibrillate.; int2 & sent2 -> int3: the fact that the Palatine is not low-resolution but it is supersonic is wrong.; sent4 & sent6 -> int4: the Palatine is not low-resolution but it is supersonic.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the sounder does ebb rent-a-car is not incorrect.; int6 -> int7: there exists something such that that it ebbs rent-a-car is not false.; int7 & sent5 -> hypothesis;
$hypothesis$ = the celandine is a disobedience and/or it is not a Haitian. ; $context$ = sent1: if the sounder does not ebb rent-a-car then it is not capitalistic. sent2: if the sounder does not fibrillate then that the Palatine is not low-resolution but it is supersonic does not hold. sent3: the sounder does not fibrillate if it is not capitalistic. sent4: if the Palatine is not a kind of a Lancastrian it is not low-resolution but supersonic. sent5: if there exists something such that it ebbs rent-a-car the celandine is a disobedience and/or it is not a Haitian. sent6: the Palatine is not a Lancastrian. ; $proof$ = 
void -> assump1: Let's assume that the sounder does not ebb rent-a-car.; sent1 & assump1 -> int1: the sounder is not capitalistic.; int1 & sent3 -> int2: the sounder does not fibrillate.; int2 & sent2 -> int3: the fact that the Palatine is not low-resolution but it is supersonic is wrong.; sent4 & sent6 -> int4: the Palatine is not low-resolution but it is supersonic.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the sounder does ebb rent-a-car is not incorrect.; int6 -> int7: there exists something such that that it ebbs rent-a-car is not false.; int7 & sent5 -> hypothesis; __PROVED__