if the controlling happens the Erasmianness does not occur and the nitrifying does not occur.
sent1: the stigmatizing countercoup happens. sent2: if the infection and the Erasmianness happens the fact that the control occurs is correct. sent3: the perplexing DBA occurs. sent4: if the fact that the infection and the Erasmianness happens is not wrong then that the controlling does not occur is right. sent5: the fact that the control does not occur and the Erasmianness does not occur does not hold if the nitrifying occurs. sent6: both the Platonicness and the stigmatizing countercoup happens. sent7: the capacity occurs. sent8: the infection happens and the conducting occurs. sent9: the conducting happens. sent10: that the conducting does not occur brings about that both the worry and the infection occurs.
sent8 -> int1: the infection happens.; void -> assump1: Let's assume that the Erasmianness occurs.; int1 & assump1 -> int2: the infection occurs and the Erasmianness occurs.; int2 & sent4 -> int3: the control does not occur.; void -> assump2: Let's assume that the controlling happens.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Erasmianness does not occur.; sent6 -> int6: the Platonicness occurs.; int6 & sent7 -> int7: both the Platonicness and the capacity occurs.;
the fact that the worrying occurs is correct.
$hypothesis$ = if the controlling happens the Erasmianness does not occur and the nitrifying does not occur. ; $context$ = sent1: the stigmatizing countercoup happens. sent2: if the infection and the Erasmianness happens the fact that the control occurs is correct. sent3: the perplexing DBA occurs. sent4: if the fact that the infection and the Erasmianness happens is not wrong then that the controlling does not occur is right. sent5: the fact that the control does not occur and the Erasmianness does not occur does not hold if the nitrifying occurs. sent6: both the Platonicness and the stigmatizing countercoup happens. sent7: the capacity occurs. sent8: the infection happens and the conducting occurs. sent9: the conducting happens. sent10: that the conducting does not occur brings about that both the worry and the infection occurs. ; $proof$ = 
sent8 -> int1: the infection happens.; void -> assump1: Let's assume that the Erasmianness occurs.; int1 & assump1 -> int2: the infection occurs and the Erasmianness occurs.; int2 & sent4 -> int3: the control does not occur.; void -> assump2: Let's assume that the controlling happens.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Erasmianness does not occur.; sent6 -> int6: the Platonicness occurs.; int6 & sent7 -> int7: both the Platonicness and the capacity occurs.; __UNKNOWN__