the fact that that there is something such that if the fact that it is gluteal or it does wax or both is not true it is not a coconut hold is not true.
sent1: if that something is Melanesian and/or it is a kind of a Steinman is incorrect then it does not wax. sent2: if the fact that something is gluteal or it waxes or both does not hold it is not a coconut.
sent2 -> int1: the junco is not a kind of a coconut if the fact that it is gluteal or waxes or both does not hold.; int1 -> hypothesis;
if that the fact that the sphenion is Melanesian and/or it is a kind of a Steinman does not hold is true it does not wax.
sent1 -> hypothesis;
$hypothesis$ = the fact that that there is something such that if the fact that it is gluteal or it does wax or both is not true it is not a coconut hold is not true. ; $context$ = sent1: if that something is Melanesian and/or it is a kind of a Steinman is incorrect then it does not wax. sent2: if the fact that something is gluteal or it waxes or both does not hold it is not a coconut. ; $proof$ = 
sent2 -> int1: the junco is not a kind of a coconut if the fact that it is gluteal or waxes or both does not hold.; int1 -> hypothesis; __DISPROVED__