the embankment is a masquerade and/or maxillodental.
sent1: that the NADP is both not a shagginess and not paleolithic does not hold if the heartleaf is not a shagginess. sent2: the NADP is not a shagginess and not paleolithic. sent3: the embankment is an exasperation. sent4: the embankment does not squawk NADP if it is a kind of a shagginess and it is maxillodental. sent5: the NADP is a shagginess and/or it is a tramway. sent6: the embankment is not a kind of a strengthener and/or it does not squawk NADP if the heartleaf is not a tramway. sent7: the heartleaf is seamanlike. sent8: if either the embankment is not a strengthener or it does not squawk NADP or both then it is maxillodental. sent9: if something does not squawk NADP and it is not a shagginess the NADP does squawk Magh. sent10: if the NADP is a tramway it is periodic. sent11: if the heartleaf is not a kind of a shagginess then either the NADP is not seamanlike or it is not paleolithic or both. sent12: that the embankment is seamanlike but it is non-maxillodental is not correct. sent13: if the embankment is not maxillodental and/or is not a kind of a strengthener then it is a shagginess. sent14: if something is not a kind of a tramway the fact that either it is a masquerade or it is not non-maxillodental or both does not hold.
void -> assump1: Let's assume that the heartleaf is a tramway.; assump1 & sent7 -> int1: the heartleaf is a kind of a tramway and is seamanlike.;
the NADP does squawk Magh and it is periodic.
$hypothesis$ = the embankment is a masquerade and/or maxillodental. ; $context$ = sent1: that the NADP is both not a shagginess and not paleolithic does not hold if the heartleaf is not a shagginess. sent2: the NADP is not a shagginess and not paleolithic. sent3: the embankment is an exasperation. sent4: the embankment does not squawk NADP if it is a kind of a shagginess and it is maxillodental. sent5: the NADP is a shagginess and/or it is a tramway. sent6: the embankment is not a kind of a strengthener and/or it does not squawk NADP if the heartleaf is not a tramway. sent7: the heartleaf is seamanlike. sent8: if either the embankment is not a strengthener or it does not squawk NADP or both then it is maxillodental. sent9: if something does not squawk NADP and it is not a shagginess the NADP does squawk Magh. sent10: if the NADP is a tramway it is periodic. sent11: if the heartleaf is not a kind of a shagginess then either the NADP is not seamanlike or it is not paleolithic or both. sent12: that the embankment is seamanlike but it is non-maxillodental is not correct. sent13: if the embankment is not maxillodental and/or is not a kind of a strengthener then it is a shagginess. sent14: if something is not a kind of a tramway the fact that either it is a masquerade or it is not non-maxillodental or both does not hold. ; $proof$ = 
void -> assump1: Let's assume that the heartleaf is a tramway.; assump1 & sent7 -> int1: the heartleaf is a kind of a tramway and is seamanlike.; __UNKNOWN__