the ham is not a caftan or it is not stomatous or both if the elastomer does not brattice.
sent1: if something is not a enallage it is not a caftan or it is not stomatous or both. sent2: the coffee does sign carat. sent3: the ham is not a enallage if the fact that it is not thick or it does not sign recto or both is not correct. sent4: something is not a kind of a caftan if it does not sign carat and it is a kind of a brattice. sent5: the fact that the ham is not a enallage is right if that it is thick or it does not sign recto or both is false. sent6: if the fact that something does sign carat is not incorrect it brattices. sent7: if there is something such that it is not thick or it does not sign recto or both then the elastomer does sign carat.
void -> assump2: Let's assume that the ham is not thick or it does not sign recto or both.; assump2 -> int1: there exists something such that it either is not thick or does not sign recto or both.; int1 & sent7 -> int2: the elastomer signs carat.; sent6 -> int3: if the elastomer does sign carat that it is a kind of a brattice is not false.; int2 & int3 -> int4: the elastomer is a kind of a brattice.; void -> assump1: Let's assume that the elastomer does not brattice.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the fact that the ham is not thick and/or it does not sign recto is wrong.; int6 & sent3 -> int7: the ham is not a enallage.; sent1 -> int8: the ham is not a caftan or not stomatous or both if it is not a enallage.; int7 & int8 -> int9: the ham is not a caftan or not stomatous or both.; [assump1] & int9 -> hypothesis;
the recto is not a caftan.
sent4 -> int10: the recto is not a caftan if it does not sign carat and it is a brattice.;
$hypothesis$ = the ham is not a caftan or it is not stomatous or both if the elastomer does not brattice. ; $context$ = sent1: if something is not a enallage it is not a caftan or it is not stomatous or both. sent2: the coffee does sign carat. sent3: the ham is not a enallage if the fact that it is not thick or it does not sign recto or both is not correct. sent4: something is not a kind of a caftan if it does not sign carat and it is a kind of a brattice. sent5: the fact that the ham is not a enallage is right if that it is thick or it does not sign recto or both is false. sent6: if the fact that something does sign carat is not incorrect it brattices. sent7: if there is something such that it is not thick or it does not sign recto or both then the elastomer does sign carat. ; $proof$ = 
void -> assump2: Let's assume that the ham is not thick or it does not sign recto or both.; assump2 -> int1: there exists something such that it either is not thick or does not sign recto or both.; int1 & sent7 -> int2: the elastomer signs carat.; sent6 -> int3: if the elastomer does sign carat that it is a kind of a brattice is not false.; int2 & int3 -> int4: the elastomer is a kind of a brattice.; void -> assump1: Let's assume that the elastomer does not brattice.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the fact that the ham is not thick and/or it does not sign recto is wrong.; int6 & sent3 -> int7: the ham is not a enallage.; sent1 -> int8: the ham is not a caftan or not stomatous or both if it is not a enallage.; int7 & int8 -> int9: the ham is not a caftan or not stomatous or both.; [assump1] & int9 -> hypothesis; __PROVED__