the polling occurs.
sent1: the solarness brings about that the polling does not occur. sent2: if the triggering happens then the flighting does not occur. sent3: that the creedalness occurs is true. sent4: that the objection does not occur and/or that the solarness happens yields that the polling does not occur. sent5: if the fact that both the non-solarness and the flight occurs is incorrect the trigger does not occur. sent6: if the objection happens and/or the triggering happens the flighting does not occur. sent7: the creedalness and the flight happens.
void -> assump1: Let's assume that the objection occurs.; assump1 -> int1: the objection happens or the triggering happens or both.; int1 & sent6 -> int2: the flight does not occur.; sent7 -> int3: the flight happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the objection does not occur.; int5 -> int6: either the objection does not occur or the solarness occurs or both.; int6 & sent4 -> hypothesis;
the landfall or the roar or both happens.
$hypothesis$ = the polling occurs. ; $context$ = sent1: the solarness brings about that the polling does not occur. sent2: if the triggering happens then the flighting does not occur. sent3: that the creedalness occurs is true. sent4: that the objection does not occur and/or that the solarness happens yields that the polling does not occur. sent5: if the fact that both the non-solarness and the flight occurs is incorrect the trigger does not occur. sent6: if the objection happens and/or the triggering happens the flighting does not occur. sent7: the creedalness and the flight happens. ; $proof$ = 
void -> assump1: Let's assume that the objection occurs.; assump1 -> int1: the objection happens or the triggering happens or both.; int1 & sent6 -> int2: the flight does not occur.; sent7 -> int3: the flight happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the objection does not occur.; int5 -> int6: either the objection does not occur or the solarness occurs or both.; int6 & sent4 -> hypothesis; __DISPROVED__