the fact that both the protozoologicalness and the preliminary occurs is not correct.
sent1: if the groove occurs that the battledore does not occur hold. sent2: the preliminary occurs. sent3: the utopianness does not occur and the battledore does not occur. sent4: the psychometricness happens if the protozoologicalness does not occur. sent5: that the non-psychometricness and/or the fragmentation occurs is not right if that the protozoologicalness does not occur hold. sent6: the utopianness happens if the fact that the psychometricness does not occur or the fragmentation occurs or both does not hold. sent7: the culturing weekender occurs.
void -> assump1: Let's assume that the protozoologicalness does not occur.; sent5 & assump1 -> int1: the fact that either the non-psychometricness or the fragmentation or both occurs is not true.; int1 & sent6 -> int2: the utopianness occurs.; sent3 -> int3: the utopianness does not occur.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the protozoologicalness happens.; int5 & sent2 -> hypothesis;
both the groom and the chromatographicness occurs.
$hypothesis$ = the fact that both the protozoologicalness and the preliminary occurs is not correct. ; $context$ = sent1: if the groove occurs that the battledore does not occur hold. sent2: the preliminary occurs. sent3: the utopianness does not occur and the battledore does not occur. sent4: the psychometricness happens if the protozoologicalness does not occur. sent5: that the non-psychometricness and/or the fragmentation occurs is not right if that the protozoologicalness does not occur hold. sent6: the utopianness happens if the fact that the psychometricness does not occur or the fragmentation occurs or both does not hold. sent7: the culturing weekender occurs. ; $proof$ = 
void -> assump1: Let's assume that the protozoologicalness does not occur.; sent5 & assump1 -> int1: the fact that either the non-psychometricness or the fragmentation or both occurs is not true.; int1 & sent6 -> int2: the utopianness occurs.; sent3 -> int3: the utopianness does not occur.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the protozoologicalness happens.; int5 & sent2 -> hypothesis; __DISPROVED__