the charcoal does not plot Aquitaine or it is not blastemal or both if the candy is not a chancre.
sent1: either the charcoal does plot Aquitaine or it is not a foreshank or both if the candy is not blastemal. sent2: if something is not a chancre then the fact that it does not proliferate ascocarp and it is a kind of a foreshank is incorrect. sent3: the charcoal does not plot Aquitaine if there is something such that the fact that it does not proliferate ascocarp and it is a foreshank is wrong. sent4: the fact that something does not snick circumvention but it does French charcoal is incorrect if that it is not a in-basket is right. sent5: that the candy does proliferate ascocarp and is a kind of a foreshank is incorrect if the fact that it is not a chancre is not wrong. sent6: that the candy does proliferate ascocarp and is a kind of a foreshank is not true. sent7: there exists something such that the fact that it does proliferate ascocarp and is a foreshank is incorrect. sent8: if the candy is not a kind of a chancre either the charcoal does not plot Aquitaine or it is blastemal or both. sent9: that something does not proliferate ascocarp and is a foreshank is false if it is a chancre. sent10: if there exists something such that that it does not proliferate ascocarp is not correct then that the charcoal does not plot Aquitaine is not wrong. sent11: either the charcoal does plot Aquitaine or it is not blastemal or both.
sent2 -> int1: that the candy does not proliferate ascocarp and is a foreshank is incorrect if it is not a chancre.; void -> assump1: Let's assume that the candy is not a chancre.; int1 & assump1 -> int2: that that the candy does not proliferate ascocarp but it is a kind of a foreshank is wrong is not incorrect.; int2 -> int3: there exists something such that that it does not proliferate ascocarp and is a foreshank does not hold.; int3 & sent3 -> int4: the charcoal does not plot Aquitaine.; int4 -> int5: either the charcoal does not plot Aquitaine or it is not blastemal or both.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the charcoal does not plot Aquitaine or it is not blastemal or both if the candy is not a chancre. ; $context$ = sent1: either the charcoal does plot Aquitaine or it is not a foreshank or both if the candy is not blastemal. sent2: if something is not a chancre then the fact that it does not proliferate ascocarp and it is a kind of a foreshank is incorrect. sent3: the charcoal does not plot Aquitaine if there is something such that the fact that it does not proliferate ascocarp and it is a foreshank is wrong. sent4: the fact that something does not snick circumvention but it does French charcoal is incorrect if that it is not a in-basket is right. sent5: that the candy does proliferate ascocarp and is a kind of a foreshank is incorrect if the fact that it is not a chancre is not wrong. sent6: that the candy does proliferate ascocarp and is a kind of a foreshank is not true. sent7: there exists something such that the fact that it does proliferate ascocarp and is a foreshank is incorrect. sent8: if the candy is not a kind of a chancre either the charcoal does not plot Aquitaine or it is blastemal or both. sent9: that something does not proliferate ascocarp and is a foreshank is false if it is a chancre. sent10: if there exists something such that that it does not proliferate ascocarp is not correct then that the charcoal does not plot Aquitaine is not wrong. sent11: either the charcoal does plot Aquitaine or it is not blastemal or both. ; $proof$ = 
sent2 -> int1: that the candy does not proliferate ascocarp and is a foreshank is incorrect if it is not a chancre.; void -> assump1: Let's assume that the candy is not a chancre.; int1 & assump1 -> int2: that that the candy does not proliferate ascocarp but it is a kind of a foreshank is wrong is not incorrect.; int2 -> int3: there exists something such that that it does not proliferate ascocarp and is a foreshank does not hold.; int3 & sent3 -> int4: the charcoal does not plot Aquitaine.; int4 -> int5: either the charcoal does not plot Aquitaine or it is not blastemal or both.; [assump1] & int5 -> hypothesis; __PROVED__