that if the ormer is a kind of a mazer then the attack is libidinal does not hold.
sent1: the attack is retentive if the finger is not a lunacy. sent2: that the ormer is libidinal is right. sent3: if something is a mazer then it is retentive. sent4: something that is a Saale severalizes oligarchy. sent5: if the ormer is not a semicentennial the finger is a kind of a mazer. sent6: if the recitalist is a kind of a luxation and it is a Creon the attack is not a Creon. sent7: if something is not a one-millionth then it is a mazer and it is libidinal. sent8: the ormer is retentive. sent9: either the finger is a semicentennial or it is not a lunacy or both if the ormer is a mazer. sent10: if that the finger is a kind of a mazer is not wrong then the ormer manhandles Hydrochoeridae. sent11: if the attack is not a lunacy then the finger is libidinal. sent12: the fact that the aspen is a census hold if it is retentive. sent13: if the finger is a kind of a semicentennial then the attack is retentive. sent14: if something is a mazer it is libidinal. sent15: the ormer is semicentennial. sent16: something is libidinal if it is retentive.
void -> assump1: Let's assume that the ormer is a mazer.; sent9 & assump1 -> int1: either the finger is a kind of a semicentennial or it is not a lunacy or both.; int1 & sent13 & sent1 -> int2: the attack is not unretentive.; sent16 -> int3: the attack is libidinal if it is retentive.; int2 & int3 -> int4: the attack is libidinal.; [assump1] & int4 -> hypothesis;
the hatchel is libidinal.
sent14 -> int5: the hatchel is libidinal if it is a kind of a mazer.;
$hypothesis$ = that if the ormer is a kind of a mazer then the attack is libidinal does not hold. ; $context$ = sent1: the attack is retentive if the finger is not a lunacy. sent2: that the ormer is libidinal is right. sent3: if something is a mazer then it is retentive. sent4: something that is a Saale severalizes oligarchy. sent5: if the ormer is not a semicentennial the finger is a kind of a mazer. sent6: if the recitalist is a kind of a luxation and it is a Creon the attack is not a Creon. sent7: if something is not a one-millionth then it is a mazer and it is libidinal. sent8: the ormer is retentive. sent9: either the finger is a semicentennial or it is not a lunacy or both if the ormer is a mazer. sent10: if that the finger is a kind of a mazer is not wrong then the ormer manhandles Hydrochoeridae. sent11: if the attack is not a lunacy then the finger is libidinal. sent12: the fact that the aspen is a census hold if it is retentive. sent13: if the finger is a kind of a semicentennial then the attack is retentive. sent14: if something is a mazer it is libidinal. sent15: the ormer is semicentennial. sent16: something is libidinal if it is retentive. ; $proof$ = 
void -> assump1: Let's assume that the ormer is a mazer.; sent9 & assump1 -> int1: either the finger is a kind of a semicentennial or it is not a lunacy or both.; int1 & sent13 & sent1 -> int2: the attack is not unretentive.; sent16 -> int3: the attack is libidinal if it is retentive.; int2 & int3 -> int4: the attack is libidinal.; [assump1] & int4 -> hypothesis; __DISPROVED__