that if the ordinal occurs that the blinding interlock happens hold is false.
sent1: if the fact that the articulatoriness occurs and the browsing does not occur is not correct the repoting Physeter happens. sent2: the blinding interlock happens if that the macrocephalicness and the non-ordinalness occurs is incorrect. sent3: the fact that the slapshot but not the lahar occurs is false. sent4: the fact that the articulating does not occur is correct. sent5: if that the chyliferousness occurs but the Iberian does not occur is incorrect the raising occurs. sent6: the raising happens and the chattering occurs. sent7: the validness happens if the fact that the repoting Balinese but not the rupture occurs is not wrong. sent8: the familiar occurs.
void -> assump2: Let's assume that the macrocephalicness but not the ordinal happens.; assump2 -> int1: the ordinalness does not occur.; void -> assump1: Let's assume that the ordinal happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the macrocephalicness but not the ordinalness happens does not hold.; int3 & sent2 -> int4: the blinding interlock occurs.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that if the ordinal occurs that the blinding interlock happens hold is false. ; $context$ = sent1: if the fact that the articulatoriness occurs and the browsing does not occur is not correct the repoting Physeter happens. sent2: the blinding interlock happens if that the macrocephalicness and the non-ordinalness occurs is incorrect. sent3: the fact that the slapshot but not the lahar occurs is false. sent4: the fact that the articulating does not occur is correct. sent5: if that the chyliferousness occurs but the Iberian does not occur is incorrect the raising occurs. sent6: the raising happens and the chattering occurs. sent7: the validness happens if the fact that the repoting Balinese but not the rupture occurs is not wrong. sent8: the familiar occurs. ; $proof$ = 
void -> assump2: Let's assume that the macrocephalicness but not the ordinal happens.; assump2 -> int1: the ordinalness does not occur.; void -> assump1: Let's assume that the ordinal happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the macrocephalicness but not the ordinalness happens does not hold.; int3 & sent2 -> int4: the blinding interlock occurs.; [assump1] & int4 -> hypothesis; __DISPROVED__