that the charioteer acquaints bunchberry if the birthroot is polite does not hold.
sent1: the charioteer is not a folk. sent2: that the hellion is a folk and polite is not true if it is not a guaiac. sent3: if the hellion is a kind of a folk then the charioteer does acquaint bunchberry. sent4: the hellion either is a folk or does not acquaint escaped or both. sent5: if the birthroot does acquaint fallow or it does not acquaint escaped or both then it is polite. sent6: if the birthroot acquaints fallow then it is not polite. sent7: if the charioteer is not a guaiac then the fact that it does acquaint bunchberry is not right. sent8: that the birthroot does not acquaint fallow is not wrong. sent9: the hellion does acquaint bunchberry. sent10: if the hellion is a guaiac the charioteer does acquaint bunchberry. sent11: something is not a guaiac if that it acquaints fallow and/or it does not acquaint escaped is false. sent12: if the birthroot is not a kind of a guaiac then either the hellion is a folk or it is a kind of a guaiac or both. sent13: the hellion acquaints fallow. sent14: the ephedrine does acquaint bunchberry and/or is a antiserum. sent15: if either the birthroot does acquaint fallow or it does not acquaint escaped or both it is not polite.
void -> assump2: Let's assume that either the birthroot acquaints fallow or it does not acquaint escaped or both.; sent15 & assump2 -> int1: the birthroot is not polite.; void -> assump1: Let's assume that the birthroot is polite.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the birthroot acquaints fallow and/or it does not acquaint escaped is false.; sent11 -> int4: if the fact that the birthroot acquaints fallow or it does not acquaint escaped or both does not hold it is not a guaiac.; int3 & int4 -> int5: the birthroot is not a kind of a guaiac.; int5 & sent12 -> int6: the hellion is a folk or it is a kind of a guaiac or both.; int6 & sent3 & sent10 -> int7: the charioteer acquaints bunchberry.; [assump1] & int7 -> hypothesis;
the birthroot is not a folk.
$hypothesis$ = that the charioteer acquaints bunchberry if the birthroot is polite does not hold. ; $context$ = sent1: the charioteer is not a folk. sent2: that the hellion is a folk and polite is not true if it is not a guaiac. sent3: if the hellion is a kind of a folk then the charioteer does acquaint bunchberry. sent4: the hellion either is a folk or does not acquaint escaped or both. sent5: if the birthroot does acquaint fallow or it does not acquaint escaped or both then it is polite. sent6: if the birthroot acquaints fallow then it is not polite. sent7: if the charioteer is not a guaiac then the fact that it does acquaint bunchberry is not right. sent8: that the birthroot does not acquaint fallow is not wrong. sent9: the hellion does acquaint bunchberry. sent10: if the hellion is a guaiac the charioteer does acquaint bunchberry. sent11: something is not a guaiac if that it acquaints fallow and/or it does not acquaint escaped is false. sent12: if the birthroot is not a kind of a guaiac then either the hellion is a folk or it is a kind of a guaiac or both. sent13: the hellion acquaints fallow. sent14: the ephedrine does acquaint bunchberry and/or is a antiserum. sent15: if either the birthroot does acquaint fallow or it does not acquaint escaped or both it is not polite. ; $proof$ = 
void -> assump2: Let's assume that either the birthroot acquaints fallow or it does not acquaint escaped or both.; sent15 & assump2 -> int1: the birthroot is not polite.; void -> assump1: Let's assume that the birthroot is polite.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the birthroot acquaints fallow and/or it does not acquaint escaped is false.; sent11 -> int4: if the fact that the birthroot acquaints fallow or it does not acquaint escaped or both does not hold it is not a guaiac.; int3 & int4 -> int5: the birthroot is not a kind of a guaiac.; int5 & sent12 -> int6: the hellion is a folk or it is a kind of a guaiac or both.; int6 & sent3 & sent10 -> int7: the charioteer acquaints bunchberry.; [assump1] & int7 -> hypothesis; __DISPROVED__