if the cobble is a muslin the tenant cabins.
sent1: the viscera is not a cabin but it is a kind of a taps if the cobble is not a Crater. sent2: the cobble is pyrolytic. sent3: the fact that the cobble cabins is not incorrect if the tenant is a muslin. sent4: if the cobble is a cabin then the tenant is a kind of a muslin. sent5: the cobble cabins if it is a muslin. sent6: the cobble is both not a Crater and not partial if it is irremediable. sent7: if the fact that the cobble is a elaphure is not incorrect then the tenant is a kind of a cabin. sent8: the tenant is a elaphure. sent9: the fact that the cobble is a cabin is not incorrect. sent10: the tenant is a elaphure if the cobble does cabin. sent11: the tenant is a muslin. sent12: the amrinone does cabin. sent13: the cobble is a kind of a elaphure if it is a muslin. sent14: that the rattle cabins is correct. sent15: the cobble personifies cobble. sent16: something is a muslin and it is a elaphure if it does not cabin. sent17: the cobble is a cabin if the tenant is a kind of a elaphure. sent18: the tenant does interlock Herr.
void -> assump1: Let's assume that the cobble is a muslin.; sent13 & assump1 -> int1: the cobble is a elaphure.; sent7 & int1 -> int2: the tenant does cabin.; [assump1] & int2 -> hypothesis;
the viscera is a kind of a elaphure.
sent16 -> int3: the viscera is a muslin and it is a elaphure if it does not cabin.;
$hypothesis$ = if the cobble is a muslin the tenant cabins. ; $context$ = sent1: the viscera is not a cabin but it is a kind of a taps if the cobble is not a Crater. sent2: the cobble is pyrolytic. sent3: the fact that the cobble cabins is not incorrect if the tenant is a muslin. sent4: if the cobble is a cabin then the tenant is a kind of a muslin. sent5: the cobble cabins if it is a muslin. sent6: the cobble is both not a Crater and not partial if it is irremediable. sent7: if the fact that the cobble is a elaphure is not incorrect then the tenant is a kind of a cabin. sent8: the tenant is a elaphure. sent9: the fact that the cobble is a cabin is not incorrect. sent10: the tenant is a elaphure if the cobble does cabin. sent11: the tenant is a muslin. sent12: the amrinone does cabin. sent13: the cobble is a kind of a elaphure if it is a muslin. sent14: that the rattle cabins is correct. sent15: the cobble personifies cobble. sent16: something is a muslin and it is a elaphure if it does not cabin. sent17: the cobble is a cabin if the tenant is a kind of a elaphure. sent18: the tenant does interlock Herr. ; $proof$ = 
void -> assump1: Let's assume that the cobble is a muslin.; sent13 & assump1 -> int1: the cobble is a elaphure.; sent7 & int1 -> int2: the tenant does cabin.; [assump1] & int2 -> hypothesis; __PROVED__