that the correlationalness happens is not wrong.
sent1: if the thrombosing villager happens and/or the iconicness happens then the correlationalness does not occur. sent2: the belaying and the iconicness occurs.
sent2 -> int1: the iconicness happens.; int1 -> int2: the thrombosing villager and/or the iconicness occurs.; sent1 & int2 -> hypothesis;
$hypothesis$ = that the correlationalness happens is not wrong. ; $context$ = sent1: if the thrombosing villager happens and/or the iconicness happens then the correlationalness does not occur. sent2: the belaying and the iconicness occurs. ; $proof$ = 
sent2 -> int1: the iconicness happens.; int1 -> int2: the thrombosing villager and/or the iconicness occurs.; sent1 & int2 -> hypothesis; __DISPROVED__