if the pinchbeck habituates then the rally is exodontic but it is not a kind of a stripe.
sent1: if the pinchbeck does habituate and it is a kind of a Bahraini then the rally is not a stripe. sent2: the pinchbeck is a kind of a Bahraini. sent3: the rally habituates. sent4: the rally is exodontic. sent5: the cardamom is non-exodontic if there exists something such that it is a Demogorgon. sent6: the tricycle is a kind of a Demogorgon that does not gentle.
void -> assump1: Let's assume that the pinchbeck does habituate.; assump1 & sent2 -> int1: the pinchbeck habituates and it is Bahraini.; int1 & sent1 -> int2: the rally does not stripe.; int2 & sent4 -> int3: the rally is exodontic but it is not a stripe.; [assump1] & int3 -> hypothesis;
the pinchbeck is not a kind of a stripe.
sent6 -> int4: the tricycle is a Demogorgon.; int4 -> int5: something is a Demogorgon.; int5 & sent5 -> int6: the cardamom is not exodontic.; int6 -> int7: there is something such that it is not exodontic.;
$hypothesis$ = if the pinchbeck habituates then the rally is exodontic but it is not a kind of a stripe. ; $context$ = sent1: if the pinchbeck does habituate and it is a kind of a Bahraini then the rally is not a stripe. sent2: the pinchbeck is a kind of a Bahraini. sent3: the rally habituates. sent4: the rally is exodontic. sent5: the cardamom is non-exodontic if there exists something such that it is a Demogorgon. sent6: the tricycle is a kind of a Demogorgon that does not gentle. ; $proof$ = 
void -> assump1: Let's assume that the pinchbeck does habituate.; assump1 & sent2 -> int1: the pinchbeck habituates and it is Bahraini.; int1 & sent1 -> int2: the rally does not stripe.; int2 & sent4 -> int3: the rally is exodontic but it is not a stripe.; [assump1] & int3 -> hypothesis; __PROVED__