that the fun happens if the civilness occurs is incorrect.
sent1: the fun does not occur if the tripping neurotransmitter occurs. sent2: the fact that the hearing reelection happens is true. sent3: the civilness does not occur if the hearing gadgeteer does not occur. sent4: the fact that the uncivilness and the hearing gadgeteer occurs is not right if the fact that the fun does not occur is not wrong. sent5: the civilness happens if the hearing gadgeteer does not occur. sent6: if the hearing gadgeteer occurs the fun occurs. sent7: the tracking does not occur if the sunset does not occur. sent8: if the fact that the non-civilness and the hearing gadgeteer occurs does not hold then the tripping friendlessness happens. sent9: the hearing signature does not occur.
void -> assump2: Let's assume that the civilness occurs.; void -> assump1: Let's assume that the hearing gadgeteer does not occur.; sent3 & assump1 -> int1: the civilness does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the hearing gadgeteer happens.; sent6 & int3 -> int4: the fun occurs.; [assump2] & int4 -> hypothesis;
the tripping friendlessness happens.
$hypothesis$ = that the fun happens if the civilness occurs is incorrect. ; $context$ = sent1: the fun does not occur if the tripping neurotransmitter occurs. sent2: the fact that the hearing reelection happens is true. sent3: the civilness does not occur if the hearing gadgeteer does not occur. sent4: the fact that the uncivilness and the hearing gadgeteer occurs is not right if the fact that the fun does not occur is not wrong. sent5: the civilness happens if the hearing gadgeteer does not occur. sent6: if the hearing gadgeteer occurs the fun occurs. sent7: the tracking does not occur if the sunset does not occur. sent8: if the fact that the non-civilness and the hearing gadgeteer occurs does not hold then the tripping friendlessness happens. sent9: the hearing signature does not occur. ; $proof$ = 
void -> assump2: Let's assume that the civilness occurs.; void -> assump1: Let's assume that the hearing gadgeteer does not occur.; sent3 & assump1 -> int1: the civilness does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the hearing gadgeteer happens.; sent6 & int3 -> int4: the fun occurs.; [assump2] & int4 -> hypothesis; __DISPROVED__