the fact that the front-runner either permutes jocundity or is not electrostatic or both does not hold.
sent1: something that does stride is a dhole. sent2: something that is not a Gujarati is a verst and is a dhole. sent3: something that is a dhole does not immortalize fatigue and/or is a verst. sent4: the fact that the abrasive does not immortalize fatigue and/or it is a verst is false if the ammonium is a verst. sent5: if the ammonium does permute jocundity then the doubles is not a Gujarati and it does not permute jocundity. sent6: that the abrasive is a scorching is not wrong. sent7: if the abrasive is a dhole then it immortalizes fatigue and/or it is a kind of a verst. sent8: the front-runner does not permute jocundity. sent9: if that something does not immortalize fatigue is not false it does permute jocundity and/or is not electrostatic. sent10: if something does not permute jocundity then it is a verst. sent11: the abrasive is a stride and scorches. sent12: if the doubles does not permute jocundity that the front-runner permute jocundity and/or it is not electrostatic does not hold. sent13: the bluffer does not permute jocundity.
sent10 -> int1: that the ammonium is a verst is true if it does not permute jocundity.; void -> assump1: Let's assume that the ammonium does not permute jocundity.; int1 & assump1 -> int2: the ammonium is a verst.; int2 & sent4 -> int3: the fact that the abrasive does not immortalize fatigue and/or it is a kind of a verst is not right.; sent3 -> int4: the abrasive does not immortalize fatigue and/or is a kind of a verst if it is a dhole.; sent1 -> int5: the abrasive is a dhole if it does stride.; sent11 -> int6: the abrasive is a stride.; int5 & int6 -> int7: the abrasive is a dhole.; int4 & int7 -> int8: the abrasive does not immortalize fatigue or it is a verst or both.; int3 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the ammonium permutes jocundity.; int10 & sent5 -> int11: the doubles is not a Gujarati and it does not permute jocundity.; int11 -> int12: the doubles does not permute jocundity.; int12 & sent12 -> hypothesis;
the front-runner permutes jocundity or it is not electrostatic or both.
sent9 -> int13: the front-runner permutes jocundity and/or it is not electrostatic if it does not immortalize fatigue.; sent2 -> int14: if the abrasive is not a Gujarati it is a kind of a verst and it is a dhole.;
$hypothesis$ = the fact that the front-runner either permutes jocundity or is not electrostatic or both does not hold. ; $context$ = sent1: something that does stride is a dhole. sent2: something that is not a Gujarati is a verst and is a dhole. sent3: something that is a dhole does not immortalize fatigue and/or is a verst. sent4: the fact that the abrasive does not immortalize fatigue and/or it is a verst is false if the ammonium is a verst. sent5: if the ammonium does permute jocundity then the doubles is not a Gujarati and it does not permute jocundity. sent6: that the abrasive is a scorching is not wrong. sent7: if the abrasive is a dhole then it immortalizes fatigue and/or it is a kind of a verst. sent8: the front-runner does not permute jocundity. sent9: if that something does not immortalize fatigue is not false it does permute jocundity and/or is not electrostatic. sent10: if something does not permute jocundity then it is a verst. sent11: the abrasive is a stride and scorches. sent12: if the doubles does not permute jocundity that the front-runner permute jocundity and/or it is not electrostatic does not hold. sent13: the bluffer does not permute jocundity. ; $proof$ = 
sent10 -> int1: that the ammonium is a verst is true if it does not permute jocundity.; void -> assump1: Let's assume that the ammonium does not permute jocundity.; int1 & assump1 -> int2: the ammonium is a verst.; int2 & sent4 -> int3: the fact that the abrasive does not immortalize fatigue and/or it is a kind of a verst is not right.; sent3 -> int4: the abrasive does not immortalize fatigue and/or is a kind of a verst if it is a dhole.; sent1 -> int5: the abrasive is a dhole if it does stride.; sent11 -> int6: the abrasive is a stride.; int5 & int6 -> int7: the abrasive is a dhole.; int4 & int7 -> int8: the abrasive does not immortalize fatigue or it is a verst or both.; int3 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the ammonium permutes jocundity.; int10 & sent5 -> int11: the doubles is not a Gujarati and it does not permute jocundity.; int11 -> int12: the doubles does not permute jocundity.; int12 & sent12 -> hypothesis; __PROVED__