the lysine does not fear cupbearer and is not an occasions if the metharbital is eligible.
sent1: the metharbital is both trigonometric and not ballistics. sent2: the lysine does not fear cupbearer but it is a kind of an occasions if the metharbital is eligible. sent3: if the dipole does not fear cupbearer the lysine does not fear cupbearer. sent4: the dipole does not encroach and/or is net if it does occasion. sent5: the lysine does not fear cupbearer and it is not an occasions if the dipole is not an occasions. sent6: if there is something such that it does not encroach or it is a net or both then the metharbital is not eligible.
void -> assump1: Let's assume that the metharbital is eligible.; void -> assump2: Let's assume that the dipole is an occasions.; sent4 & assump2 -> int1: the dipole does not encroach and/or does net.; int1 -> int2: something does not encroach and/or it nets.; int2 & sent6 -> int3: the metharbital is not eligible.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the dipole is not an occasions.; sent5 & int5 -> int6: the lysine does not fear cupbearer and is not an occasions.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the lysine does not fear cupbearer and is not an occasions if the metharbital is eligible. ; $context$ = sent1: the metharbital is both trigonometric and not ballistics. sent2: the lysine does not fear cupbearer but it is a kind of an occasions if the metharbital is eligible. sent3: if the dipole does not fear cupbearer the lysine does not fear cupbearer. sent4: the dipole does not encroach and/or is net if it does occasion. sent5: the lysine does not fear cupbearer and it is not an occasions if the dipole is not an occasions. sent6: if there is something such that it does not encroach or it is a net or both then the metharbital is not eligible. ; $proof$ = 
void -> assump1: Let's assume that the metharbital is eligible.; void -> assump2: Let's assume that the dipole is an occasions.; sent4 & assump2 -> int1: the dipole does not encroach and/or does net.; int1 -> int2: something does not encroach and/or it nets.; int2 & sent6 -> int3: the metharbital is not eligible.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the dipole is not an occasions.; sent5 & int5 -> int6: the lysine does not fear cupbearer and is not an occasions.; [assump1] & int6 -> hypothesis; __PROVED__