the lager is not a prophet and is a Coca.
sent1: the lager is not a kind of a prophet if the Drambuie is not a kind of a Coca. sent2: something is either a diestock or not a squamule or both if it does reset guar. sent3: if the lysin does not press the alembic is not a press. sent4: the vicar-general is a diestock if the civet is not a squamule. sent5: the civet does reset guar. sent6: if the Drambuie is not a Coca then the lager is not a prophet and is a Coca. sent7: The stave letters vicar-general. sent8: the lager is not a prophet. sent9: if the alembic does not press and it is not a Guayaquil then the Drambuie is not a kind of a Coca. sent10: if the vicar-general letters stave then the fact that it does not letter nonperson and is not an adhesive is wrong. sent11: if the civet is a diestock the vicar-general is a diestock. sent12: the vicar-general does not letter nonperson and it is nonadhesive if it is reparable. sent13: The guar does reset civet. sent14: if the vicar-general is a kind of a diestock and is not reparable then that the lysin is not a press is right. sent15: the vicar-general letters stave. sent16: if the vicar-general letters stave that it letters nonperson and is not an adhesive is incorrect. sent17: the alembic is not a press. sent18: if the lysin is not a press the alembic is not a press and not a Guayaquil. sent19: the vicar-general does not letter nonperson if the fact that it is reparable is correct.
void -> assump1: Let's assume that the vicar-general is reparable.; sent12 & assump1 -> int1: the vicar-general does not letter nonperson and is not an adhesive.; sent10 & sent15 -> int2: the fact that the vicar-general does not letter nonperson and it is not adhesive is wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the vicar-general is not reparable.; sent2 -> int5: either the civet is a kind of a diestock or it is not a kind of a squamule or both if the fact that it resets guar hold.; int5 & sent5 -> int6: either the civet is a diestock or it is not a squamule or both.; int6 & sent11 & sent4 -> int7: the vicar-general is a diestock.; int4 & int7 -> int8: the vicar-general is a diestock that is not reparable.; int8 & sent14 -> int9: the fact that the lysin is not a press is correct.; int9 & sent18 -> int10: the alembic is not a press and not a Guayaquil.; int10 & sent9 -> int11: the Drambuie is not a Coca.; int11 & sent6 -> hypothesis;
$hypothesis$ = the lager is not a prophet and is a Coca. ; $context$ = sent1: the lager is not a kind of a prophet if the Drambuie is not a kind of a Coca. sent2: something is either a diestock or not a squamule or both if it does reset guar. sent3: if the lysin does not press the alembic is not a press. sent4: the vicar-general is a diestock if the civet is not a squamule. sent5: the civet does reset guar. sent6: if the Drambuie is not a Coca then the lager is not a prophet and is a Coca. sent7: The stave letters vicar-general. sent8: the lager is not a prophet. sent9: if the alembic does not press and it is not a Guayaquil then the Drambuie is not a kind of a Coca. sent10: if the vicar-general letters stave then the fact that it does not letter nonperson and is not an adhesive is wrong. sent11: if the civet is a diestock the vicar-general is a diestock. sent12: the vicar-general does not letter nonperson and it is nonadhesive if it is reparable. sent13: The guar does reset civet. sent14: if the vicar-general is a kind of a diestock and is not reparable then that the lysin is not a press is right. sent15: the vicar-general letters stave. sent16: if the vicar-general letters stave that it letters nonperson and is not an adhesive is incorrect. sent17: the alembic is not a press. sent18: if the lysin is not a press the alembic is not a press and not a Guayaquil. sent19: the vicar-general does not letter nonperson if the fact that it is reparable is correct. ; $proof$ = 
void -> assump1: Let's assume that the vicar-general is reparable.; sent12 & assump1 -> int1: the vicar-general does not letter nonperson and is not an adhesive.; sent10 & sent15 -> int2: the fact that the vicar-general does not letter nonperson and it is not adhesive is wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the vicar-general is not reparable.; sent2 -> int5: either the civet is a kind of a diestock or it is not a kind of a squamule or both if the fact that it resets guar hold.; int5 & sent5 -> int6: either the civet is a diestock or it is not a squamule or both.; int6 & sent11 & sent4 -> int7: the vicar-general is a diestock.; int4 & int7 -> int8: the vicar-general is a diestock that is not reparable.; int8 & sent14 -> int9: the fact that the lysin is not a press is correct.; int9 & sent18 -> int10: the alembic is not a press and not a Guayaquil.; int10 & sent9 -> int11: the Drambuie is not a Coca.; int11 & sent6 -> hypothesis; __PROVED__