there is something such that if it is social then the fact that it is dormant and/or does not cremate Scomberomorus is not right.
sent1: if something is not unsocial that it is dormant or it does not cremate Scomberomorus or both is not true. sent2: the varietal is dormant and/or it does not cremate Scomberomorus if it is not unsocial. sent3: if something does not exempt title then the fact that it describes accent or is non-dormant or both is not correct.
sent1 -> int1: that either the varietal is dormant or it does not cremate Scomberomorus or both is not right if it is not unsocial.; int1 -> hypothesis;
the fact that the varietal does describe accent and/or it is not dormant does not hold if it does not exempt title.
sent3 -> hypothesis;
$hypothesis$ = there is something such that if it is social then the fact that it is dormant and/or does not cremate Scomberomorus is not right. ; $context$ = sent1: if something is not unsocial that it is dormant or it does not cremate Scomberomorus or both is not true. sent2: the varietal is dormant and/or it does not cremate Scomberomorus if it is not unsocial. sent3: if something does not exempt title then the fact that it describes accent or is non-dormant or both is not correct. ; $proof$ = 
sent1 -> int1: that either the varietal is dormant or it does not cremate Scomberomorus or both is not right if it is not unsocial.; int1 -> hypothesis; __PROVED__