the fact that there is something such that if the fact that either it does not glom falafel or it is a Calliphoridae or both does not hold then it is not Catalan is not right.
sent1: there is something such that if it is not a factorial or memberless or both then it is not anosmic. sent2: the fact that there exists something such that if that it does kid or it defoliates promotion or both is not correct then it does not complect safflower is right. sent3: something is not a Catalan if the fact that it does not glom falafel and/or is a Calliphoridae is not true. sent4: there exists something such that if that either it does defoliate entelechy or it complects strangeness or both is not correct then it does not complect falafel.
sent3 -> int1: if the fact that the cultivar does not glom falafel and/or is a kind of a Calliphoridae does not hold then it is not Catalan.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if the fact that either it does not glom falafel or it is a Calliphoridae or both does not hold then it is not Catalan is not right. ; $context$ = sent1: there is something such that if it is not a factorial or memberless or both then it is not anosmic. sent2: the fact that there exists something such that if that it does kid or it defoliates promotion or both is not correct then it does not complect safflower is right. sent3: something is not a Catalan if the fact that it does not glom falafel and/or is a Calliphoridae is not true. sent4: there exists something such that if that either it does defoliate entelechy or it complects strangeness or both is not correct then it does not complect falafel. ; $proof$ = 
sent3 -> int1: if the fact that the cultivar does not glom falafel and/or is a kind of a Calliphoridae does not hold then it is not Catalan.; int1 -> hypothesis; __DISPROVED__