the lumberyard is a kind of a lunchtime and it is bionics.
sent1: if the Redskin is not significant then it does not shrink and it is not equitable. sent2: The knot zones lumberyard. sent3: the lumberyard is a lunchtime and it schematizes. sent4: that something does zone knot or it schematizes or both does not hold if it does not shrink. sent5: if the fact that something does zone knot or schematizes or both is not correct then it is not a lunchtime. sent6: the lumberyard does schematize. sent7: the frump does zone knot. sent8: if the lumberyard zones knot it is bionics.
sent3 -> int1: the lumberyard is a lunchtime.;
that the lumberyard is a lunchtime and is not non-bionics is not right.
sent5 -> int2: that the Redskin is not a lunchtime hold if the fact that it either zones knot or schematizes or both is false.; sent4 -> int3: if the Redskin does not shrink then that it zones knot and/or schematizes is not correct.;
$hypothesis$ = the lumberyard is a kind of a lunchtime and it is bionics. ; $context$ = sent1: if the Redskin is not significant then it does not shrink and it is not equitable. sent2: The knot zones lumberyard. sent3: the lumberyard is a lunchtime and it schematizes. sent4: that something does zone knot or it schematizes or both does not hold if it does not shrink. sent5: if the fact that something does zone knot or schematizes or both is not correct then it is not a lunchtime. sent6: the lumberyard does schematize. sent7: the frump does zone knot. sent8: if the lumberyard zones knot it is bionics. ; $proof$ = 
sent3 -> int1: the lumberyard is a lunchtime.; __UNKNOWN__