the axolotl does rede Marcionism.
sent1: there is something such that it is not a kind of an absorbent or is not monovalent or both. sent2: if something does not fret legend and/or it frets Arcadian it does not rede Marcionism. sent3: if the cabin is a kind of a blandishment but it is not a biennial then the axolotl redes Marcionism. sent4: something is an absorbent and/or is not monovalent. sent5: the axolotl is a blandishment if the cabin does rede Marcionism and is not a biennial. sent6: if that something is not absorbent and/or it is not monovalent is not wrong then the cabin is not a biennial. sent7: the cabin is a paster. sent8: the axolotl is biennial if the fact that the cabin does rede Marcionism and is not a blandishment is right. sent9: if something does not fret legend the cabin is a kind of a blandishment. sent10: something does not fret legend if the fact that it does fret legend and it is a kind of a paster does not hold. sent11: the axolotl is not a blandishment if there exists something such that it does not rede Marcionism. sent12: something does not fret legend. sent13: something is a blandishment and a biennial if it does not fret legend. sent14: if something does not rede Marcionism the axolotl is not a kind of a biennial. sent15: the cabin does not rede Marcionism. sent16: there is something such that it is a blandishment.
sent1 & sent6 -> int1: the cabin is not a biennial.; sent12 & sent9 -> int2: the cabin is a blandishment.; int1 & int2 -> int3: the cabin is a blandishment but it is not biennial.; int3 & sent3 -> hypothesis;
the axolotl does not rede Marcionism.
sent13 -> int4: if the cabin does not fret legend it is both a blandishment and biennial.; sent10 -> int5: if the fact that the cabin frets legend and is a paster is incorrect it does not frets legend.;
$hypothesis$ = the axolotl does rede Marcionism. ; $context$ = sent1: there is something such that it is not a kind of an absorbent or is not monovalent or both. sent2: if something does not fret legend and/or it frets Arcadian it does not rede Marcionism. sent3: if the cabin is a kind of a blandishment but it is not a biennial then the axolotl redes Marcionism. sent4: something is an absorbent and/or is not monovalent. sent5: the axolotl is a blandishment if the cabin does rede Marcionism and is not a biennial. sent6: if that something is not absorbent and/or it is not monovalent is not wrong then the cabin is not a biennial. sent7: the cabin is a paster. sent8: the axolotl is biennial if the fact that the cabin does rede Marcionism and is not a blandishment is right. sent9: if something does not fret legend the cabin is a kind of a blandishment. sent10: something does not fret legend if the fact that it does fret legend and it is a kind of a paster does not hold. sent11: the axolotl is not a blandishment if there exists something such that it does not rede Marcionism. sent12: something does not fret legend. sent13: something is a blandishment and a biennial if it does not fret legend. sent14: if something does not rede Marcionism the axolotl is not a kind of a biennial. sent15: the cabin does not rede Marcionism. sent16: there is something such that it is a blandishment. ; $proof$ = 
sent1 & sent6 -> int1: the cabin is not a biennial.; sent12 & sent9 -> int2: the cabin is a blandishment.; int1 & int2 -> int3: the cabin is a blandishment but it is not biennial.; int3 & sent3 -> hypothesis; __PROVED__