the jackal is not a kind of an astuteness if the black is a compromiser.
sent1: the jackal is not odds or does bedew wattmeter or both if the fact that the black is a kind of a compromiser is correct. sent2: if the black is a kind of a compromiser either the jackal is not odds or it does not bedew wattmeter or both. sent3: the fact that the jackal is not an astuteness does not hold if the black is a compromiser. sent4: if something does not bedew wattmeter then it is not a kind of an astuteness. sent5: if the fact that the ballpoint is not ropey and does inflect is wrong then the jackal is ropey. sent6: the working is not a quadrature if the black is not an astuteness but it is a kind of a compromiser. sent7: there is something such that it does not sleepwalk and does not queer. sent8: if the fact that something is not odds and/or it does not bedew wattmeter hold then it is an astuteness. sent9: the fact that something is not ropey but it inflects is wrong if it is not a lug. sent10: if something is not odds or it does not bedew wattmeter or both it is not a kind of an astuteness. sent11: if something is not Aberdonian or it is ropey or both then it is not Aberdonian. sent12: the jackal is an astuteness if either it is not odds or it does not bedew wattmeter or both. sent13: something is not an astuteness but it is a compromiser if it is not penicillin-resistant. sent14: if something that does not sleepwalk does not queer then the ballpoint is not a lug. sent15: either the pluralist is not Rhodesian or it is not a kind of a compromiser or both. sent16: the black does bedew wattmeter.
void -> assump1: Let's assume that the black is a compromiser.; sent2 & assump1 -> int1: either the jackal is not odds or it does not bedew wattmeter or both.; sent10 -> int2: if the jackal is not odds or it does not bedew wattmeter or both then the fact that it is not a kind of an astuteness is correct.; int1 & int2 -> int3: the jackal is not a kind of an astuteness.; [assump1] & int3 -> hypothesis;
the working is not a quadrature.
sent13 -> int4: if the black is not penicillin-resistant then it is not an astuteness and is a kind of a compromiser.; sent11 -> int5: if the jackal either is not Aberdonian or is ropey or both it is not Aberdonian.; sent9 -> int6: if the ballpoint is not a kind of a lug the fact that it is not ropey and it inflects is wrong.; sent7 & sent14 -> int7: the ballpoint is not a lug.; int6 & int7 -> int8: the fact that the ballpoint is not ropey and does inflect is wrong.; sent5 & int8 -> int9: the jackal is ropey.; int9 -> int10: either the jackal is not Aberdonian or it is ropey or both.; int5 & int10 -> int11: the jackal is non-Aberdonian.; int11 -> int12: there exists something such that it is not Aberdonian.;
$hypothesis$ = the jackal is not a kind of an astuteness if the black is a compromiser. ; $context$ = sent1: the jackal is not odds or does bedew wattmeter or both if the fact that the black is a kind of a compromiser is correct. sent2: if the black is a kind of a compromiser either the jackal is not odds or it does not bedew wattmeter or both. sent3: the fact that the jackal is not an astuteness does not hold if the black is a compromiser. sent4: if something does not bedew wattmeter then it is not a kind of an astuteness. sent5: if the fact that the ballpoint is not ropey and does inflect is wrong then the jackal is ropey. sent6: the working is not a quadrature if the black is not an astuteness but it is a kind of a compromiser. sent7: there is something such that it does not sleepwalk and does not queer. sent8: if the fact that something is not odds and/or it does not bedew wattmeter hold then it is an astuteness. sent9: the fact that something is not ropey but it inflects is wrong if it is not a lug. sent10: if something is not odds or it does not bedew wattmeter or both it is not a kind of an astuteness. sent11: if something is not Aberdonian or it is ropey or both then it is not Aberdonian. sent12: the jackal is an astuteness if either it is not odds or it does not bedew wattmeter or both. sent13: something is not an astuteness but it is a compromiser if it is not penicillin-resistant. sent14: if something that does not sleepwalk does not queer then the ballpoint is not a lug. sent15: either the pluralist is not Rhodesian or it is not a kind of a compromiser or both. sent16: the black does bedew wattmeter. ; $proof$ = 
void -> assump1: Let's assume that the black is a compromiser.; sent2 & assump1 -> int1: either the jackal is not odds or it does not bedew wattmeter or both.; sent10 -> int2: if the jackal is not odds or it does not bedew wattmeter or both then the fact that it is not a kind of an astuteness is correct.; int1 & int2 -> int3: the jackal is not a kind of an astuteness.; [assump1] & int3 -> hypothesis; __PROVED__