the record is both a curse and not redemptive.
sent1: the vicar is a kind of a Ali if that it is not unexpendable and is not a endotoxin is false. sent2: if the gammon does encrimson tin the vicar does broom bicycling. sent3: if something is thermionic and does broom bicycling then the fact that it is not a Ali is not false. sent4: if something is a kind of a encephalocele then that it is a kind of a curse and is non-redemptive is not true. sent5: if the record does not broom USAF and it does not encrimson tin then it is a kind of a encephalocele. sent6: that the vicar is both unexpendable and not a endotoxin is incorrect. sent7: the fact that the vicar is not unexpendable and is not a endotoxin is not right. sent8: if the tarpon is redemptive then the gammon is a encephalocele. sent9: the vicar is thermionic. sent10: if that the tarpon is not redemptive is right the record curses. sent11: if the gammon is a encephalocele then it brooms USAF. sent12: if the vicar is unexpendable it is a Ali. sent13: something encrimsons tin if it does broom USAF.
void -> assump1: Let's assume that the fact that the tarpon is redemptive is not incorrect.; sent8 & assump1 -> int1: the gammon is a encephalocele.; int1 & sent11 -> int2: the gammon brooms USAF.; sent13 -> int3: if the gammon does broom USAF then it encrimsons tin.; int2 & int3 -> int4: the gammon does encrimson tin.; int4 & sent2 -> int5: the vicar brooms bicycling.; int5 & sent9 -> int6: the vicar is thermionic thing that brooms bicycling.; sent3 -> int7: that if the vicar is the kind of thermionic thing that does broom bicycling then the vicar is not a kind of a Ali is correct.; int6 & int7 -> int8: the vicar is not a kind of a Ali.; sent1 & sent7 -> int9: that the vicar is a Ali is true.; int8 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the tarpon is not redemptive.;
the fact that the record is a curse and is not redemptive does not hold.
sent4 -> int12: the fact that the record is a curse and is not redemptive is incorrect if it is a kind of a encephalocele.;
$hypothesis$ = the record is both a curse and not redemptive. ; $context$ = sent1: the vicar is a kind of a Ali if that it is not unexpendable and is not a endotoxin is false. sent2: if the gammon does encrimson tin the vicar does broom bicycling. sent3: if something is thermionic and does broom bicycling then the fact that it is not a Ali is not false. sent4: if something is a kind of a encephalocele then that it is a kind of a curse and is non-redemptive is not true. sent5: if the record does not broom USAF and it does not encrimson tin then it is a kind of a encephalocele. sent6: that the vicar is both unexpendable and not a endotoxin is incorrect. sent7: the fact that the vicar is not unexpendable and is not a endotoxin is not right. sent8: if the tarpon is redemptive then the gammon is a encephalocele. sent9: the vicar is thermionic. sent10: if that the tarpon is not redemptive is right the record curses. sent11: if the gammon is a encephalocele then it brooms USAF. sent12: if the vicar is unexpendable it is a Ali. sent13: something encrimsons tin if it does broom USAF. ; $proof$ = 
void -> assump1: Let's assume that the fact that the tarpon is redemptive is not incorrect.; sent8 & assump1 -> int1: the gammon is a encephalocele.; int1 & sent11 -> int2: the gammon brooms USAF.; sent13 -> int3: if the gammon does broom USAF then it encrimsons tin.; int2 & int3 -> int4: the gammon does encrimson tin.; int4 & sent2 -> int5: the vicar brooms bicycling.; int5 & sent9 -> int6: the vicar is thermionic thing that brooms bicycling.; sent3 -> int7: that if the vicar is the kind of thermionic thing that does broom bicycling then the vicar is not a kind of a Ali is correct.; int6 & int7 -> int8: the vicar is not a kind of a Ali.; sent1 & sent7 -> int9: that the vicar is a Ali is true.; int8 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the tarpon is not redemptive.; __UNKNOWN__