the fact that the crosse is a kind of a heckler but it does not quieten hyperpituitarism does not hold.
sent1: the follow-up signifies. sent2: if the lineman is a grigri that does not quieten hyperpituitarism the crosse does not quieten hyperpituitarism. sent3: that the lineman is a grigri hold. sent4: if the follow-up signifies then the crosse is a heckler. sent5: if something signifies then that it is a heckler and it does not quieten hyperpituitarism is false. sent6: the lineman is a heckler if the crosse is a grigri. sent7: something is a heckler but it is not a puncher if it signifies. sent8: the lineman is a grigri but it does not quieten hyperpituitarism.
sent4 & sent1 -> int1: the fact that the crosse is a kind of a heckler hold.; sent2 & sent8 -> int2: the crosse does not quieten hyperpituitarism.; int1 & int2 -> hypothesis;
the fact that the crosse is a kind of a heckler and does not quieten hyperpituitarism is not true.
sent5 -> int3: the fact that the crosse is a kind of a heckler and does not quieten hyperpituitarism does not hold if it does signify.;
$hypothesis$ = the fact that the crosse is a kind of a heckler but it does not quieten hyperpituitarism does not hold. ; $context$ = sent1: the follow-up signifies. sent2: if the lineman is a grigri that does not quieten hyperpituitarism the crosse does not quieten hyperpituitarism. sent3: that the lineman is a grigri hold. sent4: if the follow-up signifies then the crosse is a heckler. sent5: if something signifies then that it is a heckler and it does not quieten hyperpituitarism is false. sent6: the lineman is a heckler if the crosse is a grigri. sent7: something is a heckler but it is not a puncher if it signifies. sent8: the lineman is a grigri but it does not quieten hyperpituitarism. ; $proof$ = 
sent4 & sent1 -> int1: the fact that the crosse is a kind of a heckler hold.; sent2 & sent8 -> int2: the crosse does not quieten hyperpituitarism.; int1 & int2 -> hypothesis; __DISPROVED__