the donna is unfruitful.
sent1: the donna is a Shanghai and/or it is not areolar. sent2: if that either something is a kind of a warped or it does not overrun dilution or both is not correct it is not fruitful. sent3: the coquille is Machiavellian if the donna is a warped or it does not overrun dilution or both. sent4: that the improvisation does not overrun clone or it does not flump or both is false. sent5: the coquille is a kind of a Machiavellian if the donna is a warped. sent6: there exists something such that it is not a twenty-one. sent7: if something is a kind of tonic thing that does not become treasurership the coquille is non-Machiavellian. sent8: if something is a kind of a Machiavellian it is fruitful. sent9: the donna is not a kind of a tonic. sent10: there is something such that it is a tonic that does not become treasurership. sent11: there is something such that it is a tonic.
void -> assump1: Let's assume that the donna is a kind of a warped or it does not overrun dilution or both.; sent3 & assump1 -> int1: the coquille is Machiavellian.; sent10 & sent7 -> int2: the coquille is not a Machiavellian.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the donna is a warped or does not overrun dilution or both does not hold.; sent2 -> int5: the donna is not fruitful if that it is a warped or does not overrun dilution or both does not hold.; int4 & int5 -> hypothesis;
the donna is fruitful.
sent8 -> int6: if the donna is a Machiavellian then it is fruitful.; sent4 -> int7: there exists something such that the fact that it does not overrun clone or does not flump or both is false.;
$hypothesis$ = the donna is unfruitful. ; $context$ = sent1: the donna is a Shanghai and/or it is not areolar. sent2: if that either something is a kind of a warped or it does not overrun dilution or both is not correct it is not fruitful. sent3: the coquille is Machiavellian if the donna is a warped or it does not overrun dilution or both. sent4: that the improvisation does not overrun clone or it does not flump or both is false. sent5: the coquille is a kind of a Machiavellian if the donna is a warped. sent6: there exists something such that it is not a twenty-one. sent7: if something is a kind of tonic thing that does not become treasurership the coquille is non-Machiavellian. sent8: if something is a kind of a Machiavellian it is fruitful. sent9: the donna is not a kind of a tonic. sent10: there is something such that it is a tonic that does not become treasurership. sent11: there is something such that it is a tonic. ; $proof$ = 
void -> assump1: Let's assume that the donna is a kind of a warped or it does not overrun dilution or both.; sent3 & assump1 -> int1: the coquille is Machiavellian.; sent10 & sent7 -> int2: the coquille is not a Machiavellian.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the donna is a warped or does not overrun dilution or both does not hold.; sent2 -> int5: the donna is not fruitful if that it is a warped or does not overrun dilution or both does not hold.; int4 & int5 -> hypothesis; __PROVED__