the wagon blinds trabecula.
sent1: either the wagon does not lean racketeer or it is a kind of a partitive or both. sent2: something is not a kind of a grubstake and/or is inarticulate if it does develop. sent3: that the advection does not commune hold if that it is not an altruism and is a planter is not correct. sent4: that the advection is not a kind of an altruism but it is a planter does not hold. sent5: if there exists something such that it does not grubstake or it is inarticulate or both then the trichloride does not blind princedom. sent6: the trichloride is not a planter. sent7: the advection does not lean racketeer if the trichloride does not blind princedom. sent8: if the advection does not blind princedom and it is not an altruism then the trichloride leans racketeer. sent9: the minesweeper does develop.
sent2 -> int1: if the minesweeper does develop it is not a grubstake and/or it is inarticulate.; int1 & sent9 -> int2: the minesweeper is not a grubstake and/or is inarticulate.; int2 -> int3: there exists something such that it does not grubstake and/or it is inarticulate.; int3 & sent5 -> int4: that the trichloride does not blind princedom is right.; int4 & sent7 -> int5: the advection does not lean racketeer.; sent3 & sent4 -> int6: the advection is not a commune.; int5 & int6 -> int7: the advection is not a commune and does not lean racketeer.;
$hypothesis$ = the wagon blinds trabecula. ; $context$ = sent1: either the wagon does not lean racketeer or it is a kind of a partitive or both. sent2: something is not a kind of a grubstake and/or is inarticulate if it does develop. sent3: that the advection does not commune hold if that it is not an altruism and is a planter is not correct. sent4: that the advection is not a kind of an altruism but it is a planter does not hold. sent5: if there exists something such that it does not grubstake or it is inarticulate or both then the trichloride does not blind princedom. sent6: the trichloride is not a planter. sent7: the advection does not lean racketeer if the trichloride does not blind princedom. sent8: if the advection does not blind princedom and it is not an altruism then the trichloride leans racketeer. sent9: the minesweeper does develop. ; $proof$ = 
sent2 -> int1: if the minesweeper does develop it is not a grubstake and/or it is inarticulate.; int1 & sent9 -> int2: the minesweeper is not a grubstake and/or is inarticulate.; int2 -> int3: there exists something such that it does not grubstake and/or it is inarticulate.; int3 & sent5 -> int4: that the trichloride does not blind princedom is right.; int4 & sent7 -> int5: the advection does not lean racketeer.; sent3 & sent4 -> int6: the advection is not a commune.; int5 & int6 -> int7: the advection is not a commune and does not lean racketeer.; __UNKNOWN__