the fact that the sculpture is not a Rand and reimburses diatomite is not wrong.
sent1: if the ribgrass is a Rand then the Sinanthropus is a kind of a Rand. sent2: the fact that the ribgrass does not destain Calorie hold. sent3: if that the bead is both a Alcedo and immunochemical is not correct then the eider is not a pigskin. sent4: if something does weld Watertown it does not destain Calorie and it is not flinty. sent5: if the ribgrass does not destain Calorie it does not reimburse diatomite and it is not a kind of a astronavigation. sent6: if the sculpture does not destain perch then the ribgrass does not fraternize but it is unemployable. sent7: if something does not fraternize and is unemployable then the fact that it is a Rand is right. sent8: if something is a Rand it welds Watertown. sent9: if the fact that the diatomite does gorge hold the sculpture does not destain perch. sent10: the sculpture is not a Rand and reimburses diatomite if the ribgrass does not reimburses diatomite. sent11: The fact that the Calorie does not destain ribgrass hold. sent12: the diatomite gorges if the eider is unfathomable. sent13: something is unfathomable and it is pyrochemical if it is not a kind of a pigskin.
sent5 & sent2 -> int1: the ribgrass does not reimburse diatomite and it is not a kind of a astronavigation.; int1 -> int2: the ribgrass does not reimburse diatomite.; sent10 & int2 -> hypothesis;
the Sinanthropus does not destain Calorie and it is not flinty.
sent4 -> int3: the Sinanthropus does not destain Calorie and is not flinty if it welds Watertown.; sent8 -> int4: if the Sinanthropus is a Rand it does weld Watertown.; sent7 -> int5: that if the ribgrass does not fraternize but it is unemployable then that the ribgrass is a Rand hold is not false.; sent13 -> int6: the eider is unfathomable and pyrochemical if it is not a pigskin.;
$hypothesis$ = the fact that the sculpture is not a Rand and reimburses diatomite is not wrong. ; $context$ = sent1: if the ribgrass is a Rand then the Sinanthropus is a kind of a Rand. sent2: the fact that the ribgrass does not destain Calorie hold. sent3: if that the bead is both a Alcedo and immunochemical is not correct then the eider is not a pigskin. sent4: if something does weld Watertown it does not destain Calorie and it is not flinty. sent5: if the ribgrass does not destain Calorie it does not reimburse diatomite and it is not a kind of a astronavigation. sent6: if the sculpture does not destain perch then the ribgrass does not fraternize but it is unemployable. sent7: if something does not fraternize and is unemployable then the fact that it is a Rand is right. sent8: if something is a Rand it welds Watertown. sent9: if the fact that the diatomite does gorge hold the sculpture does not destain perch. sent10: the sculpture is not a Rand and reimburses diatomite if the ribgrass does not reimburses diatomite. sent11: The fact that the Calorie does not destain ribgrass hold. sent12: the diatomite gorges if the eider is unfathomable. sent13: something is unfathomable and it is pyrochemical if it is not a kind of a pigskin. ; $proof$ = 
sent5 & sent2 -> int1: the ribgrass does not reimburse diatomite and it is not a kind of a astronavigation.; int1 -> int2: the ribgrass does not reimburse diatomite.; sent10 & int2 -> hypothesis; __PROVED__