the fact that the aggregating Selenipedium does not occur if that the arrival occurs is not wrong is false.
sent1: the cardiographicness occurs. sent2: that both the proposition and the lancers occurs is triggered by the non-cardiographicness. sent3: the aggregating Selenipedium does not occur if both the cardiographicness and the arrival occurs. sent4: the moving analogy does not occur if the aggregating classification happens and the anisogameticness occurs. sent5: the aggregating Selenipedium happens if the arrival happens. sent6: the aggregating Selenipedium happens. sent7: the aggregating Selenipedium happens if both the cardiographicness and the arrival occurs.
void -> assump1: Let's assume that the arrival occurs.; sent1 & assump1 -> int1: the cardiographicness happens and the arrival occurs.; sent3 & int1 -> int2: that the aggregating Selenipedium does not occur is right.; [assump1] & int2 -> hypothesis;
both the proposition and the lancers occurs.
$hypothesis$ = the fact that the aggregating Selenipedium does not occur if that the arrival occurs is not wrong is false. ; $context$ = sent1: the cardiographicness occurs. sent2: that both the proposition and the lancers occurs is triggered by the non-cardiographicness. sent3: the aggregating Selenipedium does not occur if both the cardiographicness and the arrival occurs. sent4: the moving analogy does not occur if the aggregating classification happens and the anisogameticness occurs. sent5: the aggregating Selenipedium happens if the arrival happens. sent6: the aggregating Selenipedium happens. sent7: the aggregating Selenipedium happens if both the cardiographicness and the arrival occurs. ; $proof$ = 
void -> assump1: Let's assume that the arrival occurs.; sent1 & assump1 -> int1: the cardiographicness happens and the arrival occurs.; sent3 & int1 -> int2: that the aggregating Selenipedium does not occur is right.; [assump1] & int2 -> hypothesis; __DISPROVED__