there exists something such that if that it is not Beethovenian and is not a custom does not hold then it is insectan.
sent1: if that something is not Beethovenian but it is a custom does not hold then it is insectan. sent2: if the imidazole is a kind of non-Beethovenian thing that is not a custom then the fact that it is insectan is right. sent3: there is something such that if that it is not Beethovenian and is a custom is not right it is insectan.
$hypothesis$ = there exists something such that if that it is not Beethovenian and is not a custom does not hold then it is insectan. ; $context$ = sent1: if that something is not Beethovenian but it is a custom does not hold then it is insectan. sent2: if the imidazole is a kind of non-Beethovenian thing that is not a custom then the fact that it is insectan is right. sent3: there is something such that if that it is not Beethovenian and is a custom is not right it is insectan. ; $proof$ = 
__UNKNOWN__