the parlor destines helmsman.
sent1: the vegetarian is not a Hohenlinden. sent2: if the vegetarian is not a Sarcoptidae the discus is phocine. sent3: the fact that the parlor is phocine is not false if the discus destines helmsman. sent4: if that the vegetarian is not a kind of a Sarcoptidae or is not a procrastination or both is not correct it is a kind of a Hohenlinden. sent5: if the vegetarian is not a procrastination then the discus is phocine. sent6: the parlor destines helmsman if the discus is phocine.
void -> assump1: Let's assume that that the vegetarian is not a Sarcoptidae and/or it is not a procrastination is not right.; sent4 & assump1 -> int1: the vegetarian is a Hohenlinden.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the vegetarian is not a Sarcoptidae or it is not a procrastination or both.; int3 & sent2 & sent5 -> int4: that the discus is not non-phocine is not wrong.; int4 & sent6 -> hypothesis;
$hypothesis$ = the parlor destines helmsman. ; $context$ = sent1: the vegetarian is not a Hohenlinden. sent2: if the vegetarian is not a Sarcoptidae the discus is phocine. sent3: the fact that the parlor is phocine is not false if the discus destines helmsman. sent4: if that the vegetarian is not a kind of a Sarcoptidae or is not a procrastination or both is not correct it is a kind of a Hohenlinden. sent5: if the vegetarian is not a procrastination then the discus is phocine. sent6: the parlor destines helmsman if the discus is phocine. ; $proof$ = 
void -> assump1: Let's assume that that the vegetarian is not a Sarcoptidae and/or it is not a procrastination is not right.; sent4 & assump1 -> int1: the vegetarian is a Hohenlinden.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the vegetarian is not a Sarcoptidae or it is not a procrastination or both.; int3 & sent2 & sent5 -> int4: that the discus is not non-phocine is not wrong.; int4 & sent6 -> hypothesis; __PROVED__