that the flashing does not occur is brought about by that the kite occurs.
sent1: the non-dendriticness or that the kiting does not occur or both prevents that the aggression happens. sent2: the finiteness does not occur. sent3: the dendriticness does not occur. sent4: that the flash does not occur is prevented by that the kiting and the non-dendriticness occurs. sent5: the autographicness yields that the flashing occurs. sent6: the flash does not occur if the kite but not the dendriticness happens.
void -> assump1: Let's assume that the kite happens.; assump1 & sent3 -> int1: both the kiting and the non-dendriticness occurs.; sent6 & int1 -> int2: the flashing does not occur.; [assump1] & int2 -> hypothesis;
the aggression does not occur.
$hypothesis$ = that the flashing does not occur is brought about by that the kite occurs. ; $context$ = sent1: the non-dendriticness or that the kiting does not occur or both prevents that the aggression happens. sent2: the finiteness does not occur. sent3: the dendriticness does not occur. sent4: that the flash does not occur is prevented by that the kiting and the non-dendriticness occurs. sent5: the autographicness yields that the flashing occurs. sent6: the flash does not occur if the kite but not the dendriticness happens. ; $proof$ = 
void -> assump1: Let's assume that the kite happens.; assump1 & sent3 -> int1: both the kiting and the non-dendriticness occurs.; sent6 & int1 -> int2: the flashing does not occur.; [assump1] & int2 -> hypothesis; __PROVED__