the fistula does clear nine-spot and is a carbonyl.
sent1: if that the lochia does not pay is not true then it is a kind of a acerbity. sent2: that something does clear nine-spot and it is a carbonyl is not true if it does not pay. sent3: if the fact that the sirloin does not patinate and is not a kind of a king is true then it does not grease sleekness. sent4: if there is something such that it does not grease sleekness that the union does pay is not incorrect. sent5: the fistula clears nine-spot if that it is a Decatur hold. sent6: the fistula is a carbonyl. sent7: if the fistula is myelic it is a Decatur. sent8: the fistula is myelic if the fact that the union does not glower and it does not clear cardcase is incorrect. sent9: that the sirloin does not patinate and it is not a king is correct. sent10: that the fact that the union does not glower and does not clear cardcase does not hold is right if it pays.
sent3 & sent9 -> int1: the sirloin does not grease sleekness.; int1 -> int2: there exists something such that it does not grease sleekness.; int2 & sent4 -> int3: the union pays.; int3 & sent10 -> int4: that the union does not glower and it does not clear cardcase is wrong.; int4 & sent8 -> int5: the fistula is myelic.; int5 & sent7 -> int6: the fistula is a kind of a Decatur.; int6 & sent5 -> int7: that the fistula clears nine-spot is not false.; int7 & sent6 -> hypothesis;
that the fistula does clear nine-spot and is carbonyl is not right.
sent2 -> int8: that the fact that the fistula clears nine-spot and it is a kind of a carbonyl is not false is incorrect if it does not pay.;
$hypothesis$ = the fistula does clear nine-spot and is a carbonyl. ; $context$ = sent1: if that the lochia does not pay is not true then it is a kind of a acerbity. sent2: that something does clear nine-spot and it is a carbonyl is not true if it does not pay. sent3: if the fact that the sirloin does not patinate and is not a kind of a king is true then it does not grease sleekness. sent4: if there is something such that it does not grease sleekness that the union does pay is not incorrect. sent5: the fistula clears nine-spot if that it is a Decatur hold. sent6: the fistula is a carbonyl. sent7: if the fistula is myelic it is a Decatur. sent8: the fistula is myelic if the fact that the union does not glower and it does not clear cardcase is incorrect. sent9: that the sirloin does not patinate and it is not a king is correct. sent10: that the fact that the union does not glower and does not clear cardcase does not hold is right if it pays. ; $proof$ = 
sent3 & sent9 -> int1: the sirloin does not grease sleekness.; int1 -> int2: there exists something such that it does not grease sleekness.; int2 & sent4 -> int3: the union pays.; int3 & sent10 -> int4: that the union does not glower and it does not clear cardcase is wrong.; int4 & sent8 -> int5: the fistula is myelic.; int5 & sent7 -> int6: the fistula is a kind of a Decatur.; int6 & sent5 -> int7: that the fistula clears nine-spot is not false.; int7 & sent6 -> hypothesis; __PROVED__