that the loin is autumnal and not a cession does not hold.
sent1: the loin is an alligator but it is not a cession. sent2: that something blemishes and it is a kind of a youngness is false if it is not a kind of a self-improvement. sent3: the fact that the camera alligators hold if the loin is autumnal thing that is a cession. sent4: the loin is not a kind of a cession. sent5: the fact that the loin is autumnal and it is a cession is not right. sent6: the fact that the caroche is a self-improvement and is a youngness is not right. sent7: if the camera alligators the caroche is a youngness. sent8: that the camera is an alligator is not wrong if the loin is autumnal and not a cession. sent9: something is not a kind of a youngness if the fact that it is a kind of a self-improvement that is a youngness is wrong. sent10: the loin is an alligator if the caroche does alligator. sent11: the camera is autumnal if the loin is a kind of a cession and is not an alligator. sent12: that either something circumvallates vertical or it is cataleptic or both is wrong if it is not digitigrade. sent13: something is autumnal and is not a cession if it is a youngness. sent14: the caroche is an alligator. sent15: if there exists something such that the fact that it is a blemish and a youngness is not correct then the fact that the loin is an alligator hold.
void -> assump1: Let's assume that the loin is autumnal but it is not a cession.; sent8 & assump1 -> int1: the camera does alligator.; int1 & sent7 -> int2: the fact that the caroche is a kind of a youngness is not incorrect.; sent9 -> int3: the caroche is not a youngness if the fact that it is a self-improvement and it is a youngness does not hold.; int3 & sent6 -> int4: the caroche is not a kind of a youngness.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the loin does alligator.
sent2 -> int6: if the camera is not a self-improvement then that it is a blemish and it is a youngness is not true.; sent12 -> int7: that the murderee circumvallates vertical and/or it is a cataleptic does not hold if it is non-digitigrade.;
$hypothesis$ = that the loin is autumnal and not a cession does not hold. ; $context$ = sent1: the loin is an alligator but it is not a cession. sent2: that something blemishes and it is a kind of a youngness is false if it is not a kind of a self-improvement. sent3: the fact that the camera alligators hold if the loin is autumnal thing that is a cession. sent4: the loin is not a kind of a cession. sent5: the fact that the loin is autumnal and it is a cession is not right. sent6: the fact that the caroche is a self-improvement and is a youngness is not right. sent7: if the camera alligators the caroche is a youngness. sent8: that the camera is an alligator is not wrong if the loin is autumnal and not a cession. sent9: something is not a kind of a youngness if the fact that it is a kind of a self-improvement that is a youngness is wrong. sent10: the loin is an alligator if the caroche does alligator. sent11: the camera is autumnal if the loin is a kind of a cession and is not an alligator. sent12: that either something circumvallates vertical or it is cataleptic or both is wrong if it is not digitigrade. sent13: something is autumnal and is not a cession if it is a youngness. sent14: the caroche is an alligator. sent15: if there exists something such that the fact that it is a blemish and a youngness is not correct then the fact that the loin is an alligator hold. ; $proof$ = 
void -> assump1: Let's assume that the loin is autumnal but it is not a cession.; sent8 & assump1 -> int1: the camera does alligator.; int1 & sent7 -> int2: the fact that the caroche is a kind of a youngness is not incorrect.; sent9 -> int3: the caroche is not a youngness if the fact that it is a self-improvement and it is a youngness does not hold.; int3 & sent6 -> int4: the caroche is not a kind of a youngness.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__