the bluegill does not recast hoper.
sent1: if the skin-diver is not apicultural the bluegill does recast hoper and is a Swazi. sent2: the skin-diver is not a Swazi. sent3: the skin-diver is non-chemical thing that is not a kind of a star-glory if it is not a Swazi. sent4: that the bluegill does not recast hoper hold if a non-chemical thing is not a star-glory. sent5: if something is not a Swazi but it recasts hoper then it is not a kind of a star-glory. sent6: if the fact that something is not a minuscule but it is apicultural is not right then it is not apicultural. sent7: there exists something such that it is not a star-glory. sent8: the skin-diver does not recast hoper if something is not chemical and it is not a star-glory.
sent3 & sent2 -> int1: the skin-diver is not a chemical and it is not a kind of a star-glory.; int1 -> int2: something is not a kind of a chemical and it is not a star-glory.; int2 & sent4 -> hypothesis;
the bluegill is not a star-glory.
sent5 -> int3: if the skin-diver is not a Swazi but it does recast hoper it is not a star-glory.;
$hypothesis$ = the bluegill does not recast hoper. ; $context$ = sent1: if the skin-diver is not apicultural the bluegill does recast hoper and is a Swazi. sent2: the skin-diver is not a Swazi. sent3: the skin-diver is non-chemical thing that is not a kind of a star-glory if it is not a Swazi. sent4: that the bluegill does not recast hoper hold if a non-chemical thing is not a star-glory. sent5: if something is not a Swazi but it recasts hoper then it is not a kind of a star-glory. sent6: if the fact that something is not a minuscule but it is apicultural is not right then it is not apicultural. sent7: there exists something such that it is not a star-glory. sent8: the skin-diver does not recast hoper if something is not chemical and it is not a star-glory. ; $proof$ = 
sent3 & sent2 -> int1: the skin-diver is not a chemical and it is not a kind of a star-glory.; int1 -> int2: something is not a kind of a chemical and it is not a star-glory.; int2 & sent4 -> hypothesis; __PROVED__