both the civilness and the injecting happens.
sent1: the coloring happens. sent2: the write-off occurs. sent3: the Belgianness does not occur. sent4: not the watching billed but the humming cult occurs. sent5: the ruralness happens. sent6: that the uncivilness happens is prevented by that both the gregariousness and the dislodgment occurs. sent7: that that both the cooling and the dislodgment happens is correct is triggered by that the rehabilitation does not occur. sent8: the extinguishing happens and the Belgian does not occur. sent9: that the fraud and the ungregariousness occurs is not right. sent10: the non-coolness is prevented by that the rehabilitation does not occur. sent11: the injecting occurs. sent12: the honestness does not occur. sent13: the fact that the Trojanness and the non-possessiveness occurs is false. sent14: the coolness occurs but the dislodgment does not occur if the rehabilitation occurs. sent15: if the warming does not occur that the fact that both the non-uncivilness and the injecting happens is not true is true. sent16: the warmingness yields that the fraud happens. sent17: that the watching scenery occurs is true. sent18: the rehabilitation does not occur if both the extinguishing and the non-Belgianness occurs. sent19: the warming occurs and the coloring occurs.
sent19 -> int1: the warmingness happens.; int1 & sent16 -> int2: the fraud happens.; void -> assump1: Let's assume that the gregariousness does not occur.; int2 & assump1 -> int3: the fraud occurs but the gregariousness does not occur.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the gregariousness happens.; sent18 & sent8 -> int6: the rehabilitation does not occur.; sent7 & int6 -> int7: the cool happens and the dislodgment occurs.; int7 -> int8: the dislodgment occurs.; int5 & int8 -> int9: the gregariousness occurs and the dislodgment happens.; int9 & sent6 -> int10: the uncivilness does not occur.; int10 & sent11 -> hypothesis;
the fact that the uncivilness does not occur but the injecting occurs is false.
$hypothesis$ = both the civilness and the injecting happens. ; $context$ = sent1: the coloring happens. sent2: the write-off occurs. sent3: the Belgianness does not occur. sent4: not the watching billed but the humming cult occurs. sent5: the ruralness happens. sent6: that the uncivilness happens is prevented by that both the gregariousness and the dislodgment occurs. sent7: that that both the cooling and the dislodgment happens is correct is triggered by that the rehabilitation does not occur. sent8: the extinguishing happens and the Belgian does not occur. sent9: that the fraud and the ungregariousness occurs is not right. sent10: the non-coolness is prevented by that the rehabilitation does not occur. sent11: the injecting occurs. sent12: the honestness does not occur. sent13: the fact that the Trojanness and the non-possessiveness occurs is false. sent14: the coolness occurs but the dislodgment does not occur if the rehabilitation occurs. sent15: if the warming does not occur that the fact that both the non-uncivilness and the injecting happens is not true is true. sent16: the warmingness yields that the fraud happens. sent17: that the watching scenery occurs is true. sent18: the rehabilitation does not occur if both the extinguishing and the non-Belgianness occurs. sent19: the warming occurs and the coloring occurs. ; $proof$ = 
sent19 -> int1: the warmingness happens.; int1 & sent16 -> int2: the fraud happens.; void -> assump1: Let's assume that the gregariousness does not occur.; int2 & assump1 -> int3: the fraud occurs but the gregariousness does not occur.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the gregariousness happens.; sent18 & sent8 -> int6: the rehabilitation does not occur.; sent7 & int6 -> int7: the cool happens and the dislodgment occurs.; int7 -> int8: the dislodgment occurs.; int5 & int8 -> int9: the gregariousness occurs and the dislodgment happens.; int9 & sent6 -> int10: the uncivilness does not occur.; int10 & sent11 -> hypothesis; __PROVED__