the hogshead is hemal.
sent1: the hogshead is geostrategic if there is something such that either it is unmodifiable or it is a kind of a Russell or both. sent2: something that is a kind of a meshed is unmodifiable. sent3: if the hogshead is not geostrategic the fact that it is unmodifiable and is not a Russell is incorrect. sent4: the fact that the parterre is not a chalcedony is correct if the fact that it is not focal is not false. sent5: if the fact that something is a macadamia and it is a kind of a pickle is incorrect then it is not a hyaline. sent6: something does mesh if it is not a kind of a hyaline. sent7: if something is geostrategic it is hemal. sent8: there exists nothing such that it is a kind of a macadamia and is a kind of a pickle.
sent8 -> int1: that the ziggurat is a macadamia and a pickle is not right.; sent5 -> int2: the ziggurat is not a hyaline if the fact that it is a macadamia and it pickles does not hold.; int1 & int2 -> int3: the ziggurat is not a kind of a hyaline.; sent6 -> int4: the ziggurat is a meshed if it is not a hyaline.; int3 & int4 -> int5: the ziggurat meshes.; sent2 -> int6: if the ziggurat meshes it is unmodifiable.; int5 & int6 -> int7: the ziggurat is unmodifiable.; int7 -> int8: the ziggurat is unmodifiable and/or a Russell.; int8 -> int9: something is unmodifiable or it is a Russell or both.; int9 & sent1 -> int10: the hogshead is geostrategic.; sent7 -> int11: if the hogshead is geostrategic then it is hemal.; int10 & int11 -> hypothesis;
the hogshead is not hemal.
$hypothesis$ = the hogshead is hemal. ; $context$ = sent1: the hogshead is geostrategic if there is something such that either it is unmodifiable or it is a kind of a Russell or both. sent2: something that is a kind of a meshed is unmodifiable. sent3: if the hogshead is not geostrategic the fact that it is unmodifiable and is not a Russell is incorrect. sent4: the fact that the parterre is not a chalcedony is correct if the fact that it is not focal is not false. sent5: if the fact that something is a macadamia and it is a kind of a pickle is incorrect then it is not a hyaline. sent6: something does mesh if it is not a kind of a hyaline. sent7: if something is geostrategic it is hemal. sent8: there exists nothing such that it is a kind of a macadamia and is a kind of a pickle. ; $proof$ = 
sent8 -> int1: that the ziggurat is a macadamia and a pickle is not right.; sent5 -> int2: the ziggurat is not a hyaline if the fact that it is a macadamia and it pickles does not hold.; int1 & int2 -> int3: the ziggurat is not a kind of a hyaline.; sent6 -> int4: the ziggurat is a meshed if it is not a hyaline.; int3 & int4 -> int5: the ziggurat meshes.; sent2 -> int6: if the ziggurat meshes it is unmodifiable.; int5 & int6 -> int7: the ziggurat is unmodifiable.; int7 -> int8: the ziggurat is unmodifiable and/or a Russell.; int8 -> int9: something is unmodifiable or it is a Russell or both.; int9 & sent1 -> int10: the hogshead is geostrategic.; sent7 -> int11: if the hogshead is geostrategic then it is hemal.; int10 & int11 -> hypothesis; __PROVED__