that there is something such that if the fact that it either is not manly or is not consubstantial or both is wrong it is not noncrystalline is not right.
sent1: something is not noncrystalline if the fact that it is not manly and/or it is non-consubstantial is not right.
sent1 -> int1: if the fact that the alcoholic is not manly and/or it is non-consubstantial is not right then it is not noncrystalline.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if the fact that it either is not manly or is not consubstantial or both is wrong it is not noncrystalline is not right. ; $context$ = sent1: something is not noncrystalline if the fact that it is not manly and/or it is non-consubstantial is not right. ; $proof$ = 
sent1 -> int1: if the fact that the alcoholic is not manly and/or it is non-consubstantial is not right then it is not noncrystalline.; int1 -> hypothesis; __DISPROVED__