if the scabicide does encourage it is prosthetic.
sent1: the negus does encourage. sent2: the scabicide does not rehabilitate. sent3: if something that encourages is not a sidesplitter then it is prosthetic. sent4: the pen-and-ink is not prosthetic if either the transplant is Donnean or it is not prosthetic or both. sent5: if there is something such that that it does rehabilitate and it is a sidesplitter does not hold the fact that the perturbation does not encourage is not false. sent6: everything is not dysplastic. sent7: that the brill is not a kind of a Bahraini if there exists something such that the fact that it is both a brakeman and Bahraini is not true is not false. sent8: that something that hedges subtilin is a kind of a Cnicus is not false. sent9: everything does not rehabilitate. sent10: that the ADP is a brakeman that is a kind of a Bahraini is false. sent11: that the scabicide does rehabilitate and is a sidesplitter is not correct if the pen-and-ink is not prosthetic. sent12: if something does restore cyclopropane and is not cerous then it is a bone. sent13: if the pen-and-ink is prosthetic the scabicide rehabilitates. sent14: the scabicide is a half-caste. sent15: if the masseur does restore dustmop it does rehabilitate. sent16: if the scabicide is a sidesplitter then the pen-and-ink does rehabilitate. sent17: if something is a Cnicus it is Donnean and/or not prosthetic. sent18: that the pen-and-ink is a sidesplitter is true if it rehabilitates. sent19: if there is something such that it is not a Bahraini the transplant hedges subtilin and it is a kind of a say.
void -> assump1: Let's assume that the scabicide is a sidesplitter.; sent16 & assump1 -> int1: the pen-and-ink does rehabilitate.; sent9 -> int2: the pen-and-ink does not rehabilitate.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the scabicide is not a sidesplitter.; void -> assump2: Let's assume that the scabicide encourages.; int4 & assump2 -> int5: the scabicide does encourage and is not a sidesplitter.; sent3 -> int6: the scabicide is prosthetic if it encourages and it is not a sidesplitter.; int5 & int6 -> int7: the scabicide is prosthetic.; [assump2] & int7 -> hypothesis;
the perturbation does not encourage.
sent17 -> int8: if the transplant is a Cnicus it is Donnean or it is not prosthetic or both.; sent8 -> int9: if the transplant does hedge subtilin it is a Cnicus.; sent10 -> int10: there is something such that that it is a brakeman that is a Bahraini does not hold.; int10 & sent7 -> int11: that the brill is not a Bahraini is true.; int11 -> int12: there is something such that that it is not a kind of a Bahraini is true.; int12 & sent19 -> int13: the transplant hedges subtilin and is a say.; int13 -> int14: the transplant does hedge subtilin.; int9 & int14 -> int15: the transplant is a Cnicus.; int8 & int15 -> int16: the transplant is Donnean or it is not prosthetic or both.; sent4 & int16 -> int17: that the pen-and-ink is not prosthetic is right.; sent11 & int17 -> int18: the fact that the scabicide rehabilitates and it is a sidesplitter is false.; int18 -> int19: there is something such that that that it rehabilitates and is a sidesplitter is not incorrect does not hold.; int19 & sent5 -> hypothesis;
$hypothesis$ = if the scabicide does encourage it is prosthetic. ; $context$ = sent1: the negus does encourage. sent2: the scabicide does not rehabilitate. sent3: if something that encourages is not a sidesplitter then it is prosthetic. sent4: the pen-and-ink is not prosthetic if either the transplant is Donnean or it is not prosthetic or both. sent5: if there is something such that that it does rehabilitate and it is a sidesplitter does not hold the fact that the perturbation does not encourage is not false. sent6: everything is not dysplastic. sent7: that the brill is not a kind of a Bahraini if there exists something such that the fact that it is both a brakeman and Bahraini is not true is not false. sent8: that something that hedges subtilin is a kind of a Cnicus is not false. sent9: everything does not rehabilitate. sent10: that the ADP is a brakeman that is a kind of a Bahraini is false. sent11: that the scabicide does rehabilitate and is a sidesplitter is not correct if the pen-and-ink is not prosthetic. sent12: if something does restore cyclopropane and is not cerous then it is a bone. sent13: if the pen-and-ink is prosthetic the scabicide rehabilitates. sent14: the scabicide is a half-caste. sent15: if the masseur does restore dustmop it does rehabilitate. sent16: if the scabicide is a sidesplitter then the pen-and-ink does rehabilitate. sent17: if something is a Cnicus it is Donnean and/or not prosthetic. sent18: that the pen-and-ink is a sidesplitter is true if it rehabilitates. sent19: if there is something such that it is not a Bahraini the transplant hedges subtilin and it is a kind of a say. ; $proof$ = 
void -> assump1: Let's assume that the scabicide is a sidesplitter.; sent16 & assump1 -> int1: the pen-and-ink does rehabilitate.; sent9 -> int2: the pen-and-ink does not rehabilitate.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the scabicide is not a sidesplitter.; void -> assump2: Let's assume that the scabicide encourages.; int4 & assump2 -> int5: the scabicide does encourage and is not a sidesplitter.; sent3 -> int6: the scabicide is prosthetic if it encourages and it is not a sidesplitter.; int5 & int6 -> int7: the scabicide is prosthetic.; [assump2] & int7 -> hypothesis; __PROVED__