that that the osteopath does not enslave compatriot and it does not ice kiang hold is not correct.
sent1: the frivolity is not a cassowary. sent2: the fact that the frivolity is a cassowary is not false if the osteopath is year-round. sent3: the frivolity is a selection if it is a mother and it does not divaricate. sent4: if the frivolity is planetary then the osteopath is a cassowary. sent5: something is planetary if it does spoon nephrotomy. sent6: that that the mung does not enslave third-rater and ices kiang does not hold is not false. sent7: if that the petard is year-round is not false the frivolity spoons nephrotomy but it is not planetary. sent8: the frivolity does spoon nephrotomy if it humanizes. sent9: if the osteopath is planetary then it is year-round. sent10: that the petard is year-round is right if something that is a kind of an antique is a cassowary. sent11: the fact that the osteopath does spoon nephrotomy hold if it does not enslave compatriot and it does not ice kiang. sent12: the fact that the osteopath does not enslave compatriot but it ices kiang is not correct. sent13: the osteopath spoons nephrotomy if it enslaves compatriot and it does not ice kiang. sent14: if the osteopath does not ice kiang and does not enslave compatriot that it is a cassowary is not false. sent15: that that the osteopath ices kiang but it does not galvanize is right does not hold. sent16: if that the osteopath is dialectal is correct then it does bead hotel.
void -> assump1: Let's assume that the osteopath does not enslave compatriot and does not ice kiang.; sent11 & assump1 -> int1: the fact that the osteopath spoons nephrotomy is correct.; sent5 -> int2: if the osteopath does spoon nephrotomy it is planetary.; int1 & int2 -> int3: the osteopath is planetary.; int3 & sent9 -> int4: the osteopath is year-round.; int4 & sent2 -> int5: the frivolity is a cassowary.; int5 & sent1 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the osteopath does not enslave compatriot and it does not ice kiang.
$hypothesis$ = that that the osteopath does not enslave compatriot and it does not ice kiang hold is not correct. ; $context$ = sent1: the frivolity is not a cassowary. sent2: the fact that the frivolity is a cassowary is not false if the osteopath is year-round. sent3: the frivolity is a selection if it is a mother and it does not divaricate. sent4: if the frivolity is planetary then the osteopath is a cassowary. sent5: something is planetary if it does spoon nephrotomy. sent6: that that the mung does not enslave third-rater and ices kiang does not hold is not false. sent7: if that the petard is year-round is not false the frivolity spoons nephrotomy but it is not planetary. sent8: the frivolity does spoon nephrotomy if it humanizes. sent9: if the osteopath is planetary then it is year-round. sent10: that the petard is year-round is right if something that is a kind of an antique is a cassowary. sent11: the fact that the osteopath does spoon nephrotomy hold if it does not enslave compatriot and it does not ice kiang. sent12: the fact that the osteopath does not enslave compatriot but it ices kiang is not correct. sent13: the osteopath spoons nephrotomy if it enslaves compatriot and it does not ice kiang. sent14: if the osteopath does not ice kiang and does not enslave compatriot that it is a cassowary is not false. sent15: that that the osteopath ices kiang but it does not galvanize is right does not hold. sent16: if that the osteopath is dialectal is correct then it does bead hotel. ; $proof$ = 
void -> assump1: Let's assume that the osteopath does not enslave compatriot and does not ice kiang.; sent11 & assump1 -> int1: the fact that the osteopath spoons nephrotomy is correct.; sent5 -> int2: if the osteopath does spoon nephrotomy it is planetary.; int1 & int2 -> int3: the osteopath is planetary.; int3 & sent9 -> int4: the osteopath is year-round.; int4 & sent2 -> int5: the frivolity is a cassowary.; int5 & sent1 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__