that the articulating Fragonard happens causes that the discharge does not occur.
sent1: the syllogizing Nepal happens. sent2: the hurling happens and the animalization happens. sent3: that both the ineffectiveness and the vagalness happens prevents that the anisometropicness occurs. sent4: the discharge happens. sent5: the fact that the tonalness happens hold. sent6: that the discharge does not occur is brought about by that the articulating Fragonard and the tonalness occurs.
void -> assump1: Let's assume that the articulating Fragonard occurs.; assump1 & sent5 -> int1: the articulating Fragonard occurs and the tonalness happens.; int1 & sent6 -> int2: the discharging does not occur.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that the articulating Fragonard happens causes that the discharge does not occur. ; $context$ = sent1: the syllogizing Nepal happens. sent2: the hurling happens and the animalization happens. sent3: that both the ineffectiveness and the vagalness happens prevents that the anisometropicness occurs. sent4: the discharge happens. sent5: the fact that the tonalness happens hold. sent6: that the discharge does not occur is brought about by that the articulating Fragonard and the tonalness occurs. ; $proof$ = 
void -> assump1: Let's assume that the articulating Fragonard occurs.; assump1 & sent5 -> int1: the articulating Fragonard occurs and the tonalness happens.; int1 & sent6 -> int2: the discharging does not occur.; [assump1] & int2 -> hypothesis; __PROVED__