if the responsibility happens then the dimming reconstruction does not occur and the racking does not occur.
sent1: the impoverishing occurs. sent2: the long-distanceness does not occur. sent3: that the impoverishing does not occur and the characteristicness does not occur is not true if the antagonism does not occur. sent4: the dimming reconstruction does not occur if that the characteristic happens and/or the impoverishing does not occur is false. sent5: if the services does not occur and the long-distanceness does not occur the licensing does not occur. sent6: the antagonism happens. sent7: if the servicing does not occur and the long-distanceness happens that the license does not occur hold. sent8: the dimming reconstruction occurs if the characteristicness occurs. sent9: that the Sovietsness does not occur is correct. sent10: if the tricing bedbug occurs then the bottoming happens. sent11: the fact that either the characteristicness happens or the impoverishing does not occur or both is incorrect if the license does not occur. sent12: if the responsibility occurs the invisibleness occurs. sent13: that the impoverishing happens is brought about by that the licensing does not occur. sent14: the scrum happens. sent15: the Creoleness and the antagonism occurs. sent16: the compacting happens. sent17: the fact that both the saxicolousness and the dulledness occurs hold. sent18: the dimming reconstruction does not occur if that either the characteristic happens or the impoverishing happens or both is false. sent19: the servicing does not occur and the long-distanceness does not occur. sent20: if the invisibleness and the Creoleness happens then the racking does not occur. sent21: that the generalship occurs is triggered by that the invisibleness but not the responsibility occurs.
void -> assump1: Let's assume that the responsibility occurs.; sent12 & assump1 -> int1: the invisibleness occurs.; sent15 -> int2: the Creole occurs.; int1 & int2 -> int3: the invisibleness and the Creoleness occurs.; int3 & sent20 -> int4: that the racking does not occur is not incorrect.; sent5 & sent19 -> int5: the license does not occur.; sent11 & int5 -> int6: the fact that the characteristicness happens and/or the impoverishing does not occur does not hold.; sent4 & int6 -> int7: the dimming reconstruction does not occur.; int4 & int7 -> int8: the dimming reconstruction does not occur and the rack does not occur.; [assump1] & int8 -> hypothesis;
the generalship occurs.
$hypothesis$ = if the responsibility happens then the dimming reconstruction does not occur and the racking does not occur. ; $context$ = sent1: the impoverishing occurs. sent2: the long-distanceness does not occur. sent3: that the impoverishing does not occur and the characteristicness does not occur is not true if the antagonism does not occur. sent4: the dimming reconstruction does not occur if that the characteristic happens and/or the impoverishing does not occur is false. sent5: if the services does not occur and the long-distanceness does not occur the licensing does not occur. sent6: the antagonism happens. sent7: if the servicing does not occur and the long-distanceness happens that the license does not occur hold. sent8: the dimming reconstruction occurs if the characteristicness occurs. sent9: that the Sovietsness does not occur is correct. sent10: if the tricing bedbug occurs then the bottoming happens. sent11: the fact that either the characteristicness happens or the impoverishing does not occur or both is incorrect if the license does not occur. sent12: if the responsibility occurs the invisibleness occurs. sent13: that the impoverishing happens is brought about by that the licensing does not occur. sent14: the scrum happens. sent15: the Creoleness and the antagonism occurs. sent16: the compacting happens. sent17: the fact that both the saxicolousness and the dulledness occurs hold. sent18: the dimming reconstruction does not occur if that either the characteristic happens or the impoverishing happens or both is false. sent19: the servicing does not occur and the long-distanceness does not occur. sent20: if the invisibleness and the Creoleness happens then the racking does not occur. sent21: that the generalship occurs is triggered by that the invisibleness but not the responsibility occurs. ; $proof$ = 
void -> assump1: Let's assume that the responsibility occurs.; sent12 & assump1 -> int1: the invisibleness occurs.; sent15 -> int2: the Creole occurs.; int1 & int2 -> int3: the invisibleness and the Creoleness occurs.; int3 & sent20 -> int4: that the racking does not occur is not incorrect.; sent5 & sent19 -> int5: the license does not occur.; sent11 & int5 -> int6: the fact that the characteristicness happens and/or the impoverishing does not occur does not hold.; sent4 & int6 -> int7: the dimming reconstruction does not occur.; int4 & int7 -> int8: the dimming reconstruction does not occur and the rack does not occur.; [assump1] & int8 -> hypothesis; __PROVED__