the fact that the woodcut is off hold.
sent1: there is something such that it rhapsodizes. sent2: there is something such that it gathers procurement and it is parhelic. sent3: the collembolan does not gather alb and is not a Borago if it is not off. sent4: if something does rhapsodize and it bars correlate then the woodcut does gather alb. sent5: the woodcut is non-departmental. sent6: if something does rhapsodize then the fact that it is echoic is not false. sent7: the woodcut is a Borago. sent8: something does rhapsodize and it bars correlate. sent9: if that the woodcut gathers alb is correct then it is echoic. sent10: either the woodcut suborns Tennyson or it is a greatness or both if it is not departmental. sent11: if something is a Borago and it is echoic then it is not off.
sent8 & sent4 -> int1: the woodcut gathers alb.; int1 & sent9 -> int2: the woodcut is echoic.; int2 & sent7 -> int3: the woodcut is a kind of a Borago and it is echoic.; sent11 -> int4: the woodcut is not off if it is a Borago and echoic.; int3 & int4 -> hypothesis;
the collembolan is echoic.
sent6 -> int5: if the collembolan rhapsodizes then it is echoic.; sent10 & sent5 -> int6: the woodcut suborns Tennyson and/or is a greatness.;
$hypothesis$ = the fact that the woodcut is off hold. ; $context$ = sent1: there is something such that it rhapsodizes. sent2: there is something such that it gathers procurement and it is parhelic. sent3: the collembolan does not gather alb and is not a Borago if it is not off. sent4: if something does rhapsodize and it bars correlate then the woodcut does gather alb. sent5: the woodcut is non-departmental. sent6: if something does rhapsodize then the fact that it is echoic is not false. sent7: the woodcut is a Borago. sent8: something does rhapsodize and it bars correlate. sent9: if that the woodcut gathers alb is correct then it is echoic. sent10: either the woodcut suborns Tennyson or it is a greatness or both if it is not departmental. sent11: if something is a Borago and it is echoic then it is not off. ; $proof$ = 
sent8 & sent4 -> int1: the woodcut gathers alb.; int1 & sent9 -> int2: the woodcut is echoic.; int2 & sent7 -> int3: the woodcut is a kind of a Borago and it is echoic.; sent11 -> int4: the woodcut is not off if it is a Borago and echoic.; int3 & int4 -> hypothesis; __DISPROVED__