the fact that the Lens is not a awn and/or it is not a panorama if the dhal meets is not true.
sent1: the darts meets. sent2: the Lens is a panorama. sent3: either the dhal is not a meet or it is not a panorama or both. sent4: the dhal is not a benignity. sent5: the Lens is a kind of a awn and/or it is not a panorama if the dhal meets. sent6: the fact that the Lens is not a awn is not correct. sent7: that if the dhal meets either the Lens is not a awn or it is a panorama or both is not wrong. sent8: the dhal is not a kind of a meet if that the Rabbi is not a benignity is correct. sent9: if the fact that the dhal does not meet and/or is not a panorama is not true the Lens is not a benignity. sent10: if the dhal is a kind of a panorama then the Lens is not a meet and/or is not a awn. sent11: that the dhal is not a meet and/or it is not a benignity hold if the Rabbi is a panorama. sent12: if the fact that the Lens is not a awn or is not a panorama or both is wrong the Rabbi is not a benignity. sent13: if the Lens is a meet and it is a kind of a benignity then the eyeliner does not meet.
void -> assump2: Let's assume that the dhal is a meet.; void -> assump1: Let's assume that the fact that the Lens is not a awn or is not a kind of a panorama or both is not correct.; sent12 & assump1 -> int1: the Rabbi is not a benignity.; sent8 & int1 -> int2: the dhal does not meet.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Lens is either not a awn or not a panorama or both.; [assump2] & int4 -> hypothesis;
the eyeliner is not a meet.
$hypothesis$ = the fact that the Lens is not a awn and/or it is not a panorama if the dhal meets is not true. ; $context$ = sent1: the darts meets. sent2: the Lens is a panorama. sent3: either the dhal is not a meet or it is not a panorama or both. sent4: the dhal is not a benignity. sent5: the Lens is a kind of a awn and/or it is not a panorama if the dhal meets. sent6: the fact that the Lens is not a awn is not correct. sent7: that if the dhal meets either the Lens is not a awn or it is a panorama or both is not wrong. sent8: the dhal is not a kind of a meet if that the Rabbi is not a benignity is correct. sent9: if the fact that the dhal does not meet and/or is not a panorama is not true the Lens is not a benignity. sent10: if the dhal is a kind of a panorama then the Lens is not a meet and/or is not a awn. sent11: that the dhal is not a meet and/or it is not a benignity hold if the Rabbi is a panorama. sent12: if the fact that the Lens is not a awn or is not a panorama or both is wrong the Rabbi is not a benignity. sent13: if the Lens is a meet and it is a kind of a benignity then the eyeliner does not meet. ; $proof$ = 
void -> assump2: Let's assume that the dhal is a meet.; void -> assump1: Let's assume that the fact that the Lens is not a awn or is not a kind of a panorama or both is not correct.; sent12 & assump1 -> int1: the Rabbi is not a benignity.; sent8 & int1 -> int2: the dhal does not meet.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Lens is either not a awn or not a panorama or both.; [assump2] & int4 -> hypothesis; __DISPROVED__