if the mastoidale is percussive then the fact that the laelia is not a dagger and is phonological is wrong.
sent1: the laelia is a stogy if the fact that the snakewood is a dagger or it is not phonological or both is false. sent2: if that the snakewood is phonological or it does not French 401-k or both is not true then the laelia is a dagger. sent3: the laelia does not diminish. sent4: if that the yardman Frenches 401-k or is not a stogy or both is wrong the snakewood is a dagger. sent5: that the laelia is not a feathertop is true. sent6: the snakewood is not a kind of a stogy if the yardman Frenches 401-k and/or is not a dagger. sent7: if that the yardman is not a stogy is true then the mastoidale is not percussive. sent8: if the snakewood is a dagger then the fact that the mastoidale is a stogy and it is percussive is wrong. sent9: the mastoidale Frenches 401-k and/or it is not percussive. sent10: the yardman is a kind of a dagger if the fact that the laelia is percussive and/or it does not French 401-k is incorrect. sent11: if the snakewood is a dagger then that the laelia is not a kind of a dagger and is phonological is not correct. sent12: that the mastoidale is phonological and it is a dagger is false if the laelia is phonological. sent13: if that the laelia is phonological and/or it is not a kind of a dagger does not hold the snakewood is percussive. sent14: if the yardman Frenches 401-k and/or is not a kind of a stogy then the mastoidale is not percussive.
void -> assump2: Let's assume that the yardman Frenches 401-k or is not a stogy or both.; sent14 & assump2 -> int1: the mastoidale is not percussive.; void -> assump1: Let's assume that the mastoidale is percussive.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that that the yardman Frenches 401-k and/or is not a stogy does not hold is not false.; int3 & sent4 -> int4: the fact that the snakewood is a dagger hold.; int4 & sent11 -> int5: the fact that the laelia is not a kind of a dagger but it is phonological does not hold.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the mastoidale is percussive then the fact that the laelia is not a dagger and is phonological is wrong. ; $context$ = sent1: the laelia is a stogy if the fact that the snakewood is a dagger or it is not phonological or both is false. sent2: if that the snakewood is phonological or it does not French 401-k or both is not true then the laelia is a dagger. sent3: the laelia does not diminish. sent4: if that the yardman Frenches 401-k or is not a stogy or both is wrong the snakewood is a dagger. sent5: that the laelia is not a feathertop is true. sent6: the snakewood is not a kind of a stogy if the yardman Frenches 401-k and/or is not a dagger. sent7: if that the yardman is not a stogy is true then the mastoidale is not percussive. sent8: if the snakewood is a dagger then the fact that the mastoidale is a stogy and it is percussive is wrong. sent9: the mastoidale Frenches 401-k and/or it is not percussive. sent10: the yardman is a kind of a dagger if the fact that the laelia is percussive and/or it does not French 401-k is incorrect. sent11: if the snakewood is a dagger then that the laelia is not a kind of a dagger and is phonological is not correct. sent12: that the mastoidale is phonological and it is a dagger is false if the laelia is phonological. sent13: if that the laelia is phonological and/or it is not a kind of a dagger does not hold the snakewood is percussive. sent14: if the yardman Frenches 401-k and/or is not a kind of a stogy then the mastoidale is not percussive. ; $proof$ = 
void -> assump2: Let's assume that the yardman Frenches 401-k or is not a stogy or both.; sent14 & assump2 -> int1: the mastoidale is not percussive.; void -> assump1: Let's assume that the mastoidale is percussive.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that that the yardman Frenches 401-k and/or is not a stogy does not hold is not false.; int3 & sent4 -> int4: the fact that the snakewood is a dagger hold.; int4 & sent11 -> int5: the fact that the laelia is not a kind of a dagger but it is phonological does not hold.; [assump1] & int5 -> hypothesis; __PROVED__