the constellation is papery if the wineglass does criticize catsup.
sent1: the cowslip does criticize catsup. sent2: if the constellation is papery it criticizes catsup. sent3: if the wineglass is papery then the constellation is a facial. sent4: if the constellation does criticize catsup then it is facial. sent5: something is papery if it is a kind of a facial. sent6: if that the constellation criticizes catsup is not incorrect then the fact that the wineglass is a facial is not false. sent7: if the wineglass is facial then the constellation is papery. sent8: the constellation is a uniform. sent9: the wineglass is a spot-weld. sent10: if the wineglass does criticize catsup then the constellation is a kind of a facial. sent11: if the wineglass is a facial the constellation criticizes catsup. sent12: something does not criticize catsup and is not papery if it is a megaloblast.
void -> assump1: Let's assume that the fact that the wineglass criticizes catsup is right.; sent10 & assump1 -> int1: the constellation is a kind of a facial.; sent5 -> int2: the constellation is papery if it is facial.; int1 & int2 -> int3: the constellation is papery.; [assump1] & int3 -> hypothesis;
the pelvimeter is a kind of a facial.
sent12 -> int4: the pelvimeter does not criticize catsup and it is not papery if it is a megaloblast.;
$hypothesis$ = the constellation is papery if the wineglass does criticize catsup. ; $context$ = sent1: the cowslip does criticize catsup. sent2: if the constellation is papery it criticizes catsup. sent3: if the wineglass is papery then the constellation is a facial. sent4: if the constellation does criticize catsup then it is facial. sent5: something is papery if it is a kind of a facial. sent6: if that the constellation criticizes catsup is not incorrect then the fact that the wineglass is a facial is not false. sent7: if the wineglass is facial then the constellation is papery. sent8: the constellation is a uniform. sent9: the wineglass is a spot-weld. sent10: if the wineglass does criticize catsup then the constellation is a kind of a facial. sent11: if the wineglass is a facial the constellation criticizes catsup. sent12: something does not criticize catsup and is not papery if it is a megaloblast. ; $proof$ = 
void -> assump1: Let's assume that the fact that the wineglass criticizes catsup is right.; sent10 & assump1 -> int1: the constellation is a kind of a facial.; sent5 -> int2: the constellation is papery if it is facial.; int1 & int2 -> int3: the constellation is papery.; [assump1] & int3 -> hypothesis; __PROVED__