the bettor is infectious and/or it is a kind of a Clorox.
sent1: if something is logistics then the fact that it is not a poem and does not snuffle cavity is not true. sent2: if the stay-at-home snuffles cavity and it is a kind of a poem the psychrometer is non-logistics. sent3: the psychrometer is logistics but it is not a speaker. sent4: if the bettor is not a lamb then it is not non-elegiac and not noninfectious. sent5: the stay-at-home does snuffle cavity. sent6: that the cavity is not a kind of a poem is true if that the bettor is not a kind of a poem and does not snuffle cavity is not right. sent7: the fact that the psychrometer is not a kind of a speaker and it is not a Clorox is not correct. sent8: if either the stay-at-home is not infectious or it is logistics or both the bettor is logistics. sent9: if the bettor is a lamb the stay-at-home is a kind of a poem. sent10: The cavity does snuffle stay-at-home. sent11: if something is not a kind of a poem then it is not a lamb and not elegiac.
void -> assump1: Let's assume that the bettor is a lamb.; sent9 & assump1 -> int1: the fact that the stay-at-home is a poem hold.; int1 & sent5 -> int2: the stay-at-home does snuffle cavity and it is a poem.; int2 & sent2 -> int3: the fact that the psychrometer is not logistics is not incorrect.; sent3 -> int4: the psychrometer is logistics.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the bettor is not a lamb.; int6 & sent4 -> int7: the bettor is elegiac and infectious.; int7 -> int8: the bettor is infectious.; int8 -> hypothesis;
the cavity is not elegiac.
sent11 -> int9: the cavity does not lamb and it is not elegiac if it is not a kind of a poem.; sent1 -> int10: if the bettor is logistics then the fact that it is not a poem and does not snuffle cavity is not true.; sent7 -> int11: there is something such that that it is both not a speaker and not a Clorox is not right.;
$hypothesis$ = the bettor is infectious and/or it is a kind of a Clorox. ; $context$ = sent1: if something is logistics then the fact that it is not a poem and does not snuffle cavity is not true. sent2: if the stay-at-home snuffles cavity and it is a kind of a poem the psychrometer is non-logistics. sent3: the psychrometer is logistics but it is not a speaker. sent4: if the bettor is not a lamb then it is not non-elegiac and not noninfectious. sent5: the stay-at-home does snuffle cavity. sent6: that the cavity is not a kind of a poem is true if that the bettor is not a kind of a poem and does not snuffle cavity is not right. sent7: the fact that the psychrometer is not a kind of a speaker and it is not a Clorox is not correct. sent8: if either the stay-at-home is not infectious or it is logistics or both the bettor is logistics. sent9: if the bettor is a lamb the stay-at-home is a kind of a poem. sent10: The cavity does snuffle stay-at-home. sent11: if something is not a kind of a poem then it is not a lamb and not elegiac. ; $proof$ = 
void -> assump1: Let's assume that the bettor is a lamb.; sent9 & assump1 -> int1: the fact that the stay-at-home is a poem hold.; int1 & sent5 -> int2: the stay-at-home does snuffle cavity and it is a poem.; int2 & sent2 -> int3: the fact that the psychrometer is not logistics is not incorrect.; sent3 -> int4: the psychrometer is logistics.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the bettor is not a lamb.; int6 & sent4 -> int7: the bettor is elegiac and infectious.; int7 -> int8: the bettor is infectious.; int8 -> hypothesis; __PROVED__