the bilirubin despairs pachysandra and it is a kind of a Columbus.
sent1: the fact that the galactagogue does not despair decker and it does not unspell necked is not right. sent2: if the marbling is a kind of a Columbus the bilirubin skedaddles. sent3: that the bilirubin despairs pachysandra hold if something is not a Mayaca but it cranes. sent4: the bilirubin is not a doorsill. sent5: if the marbling is not a skedaddle it is not a kind of a Mayaca and cranes. sent6: if the galactagogue does skedaddle the marbling is a diethylstilbestrol that is not a kind of a skedaddle. sent7: something does despair photogravure if it is not a doorsill. sent8: something is a diethylstilbestrol and it skedaddles if it is not a crane. sent9: the galactagogue is a skedaddle if the fact that it does not despair decker and does not unspell necked is not right. sent10: something that is not a kind of a doorsill is a Columbus that despairs photogravure.
sent9 & sent1 -> int1: the galactagogue does skedaddle.; int1 & sent6 -> int2: the marbling is a kind of a diethylstilbestrol that is not a skedaddle.; int2 -> int3: the marbling is not a skedaddle.; int3 & sent5 -> int4: the fact that the marbling is not a Mayaca but it is a crane is not wrong.; int4 -> int5: there exists something such that it is not a Mayaca and it is a kind of a crane.; int5 & sent3 -> int6: the bilirubin does despair pachysandra.; sent10 -> int7: if the bilirubin is not a doorsill then it is a Columbus and it does despair photogravure.; int7 & sent4 -> int8: the bilirubin is a Columbus and it despairs photogravure.; int8 -> int9: the bilirubin is a kind of a Columbus.; int6 & int9 -> hypothesis;
the fact that that the bilirubin despairs pachysandra and is a Columbus is true is incorrect.
sent8 -> int10: if the galactagogue is not a kind of a crane then it is a kind of a diethylstilbestrol and it skedaddles.;
$hypothesis$ = the bilirubin despairs pachysandra and it is a kind of a Columbus. ; $context$ = sent1: the fact that the galactagogue does not despair decker and it does not unspell necked is not right. sent2: if the marbling is a kind of a Columbus the bilirubin skedaddles. sent3: that the bilirubin despairs pachysandra hold if something is not a Mayaca but it cranes. sent4: the bilirubin is not a doorsill. sent5: if the marbling is not a skedaddle it is not a kind of a Mayaca and cranes. sent6: if the galactagogue does skedaddle the marbling is a diethylstilbestrol that is not a kind of a skedaddle. sent7: something does despair photogravure if it is not a doorsill. sent8: something is a diethylstilbestrol and it skedaddles if it is not a crane. sent9: the galactagogue is a skedaddle if the fact that it does not despair decker and does not unspell necked is not right. sent10: something that is not a kind of a doorsill is a Columbus that despairs photogravure. ; $proof$ = 
sent9 & sent1 -> int1: the galactagogue does skedaddle.; int1 & sent6 -> int2: the marbling is a kind of a diethylstilbestrol that is not a skedaddle.; int2 -> int3: the marbling is not a skedaddle.; int3 & sent5 -> int4: the fact that the marbling is not a Mayaca but it is a crane is not wrong.; int4 -> int5: there exists something such that it is not a Mayaca and it is a kind of a crane.; int5 & sent3 -> int6: the bilirubin does despair pachysandra.; sent10 -> int7: if the bilirubin is not a doorsill then it is a Columbus and it does despair photogravure.; int7 & sent4 -> int8: the bilirubin is a Columbus and it despairs photogravure.; int8 -> int9: the bilirubin is a kind of a Columbus.; int6 & int9 -> hypothesis; __PROVED__