the fearing does not occur.
sent1: the laicizing ambusher does not occur if the ticking occurs. sent2: the non-fungicidalness is brought about by that the allowableness does not occur and the laicizing Anshar does not occur. sent3: the fact that the rechauffe does not occur but the perseveration happens is not wrong if the fungicidalness does not occur. sent4: that the fungicidalness happens is prevented by that the allowableness occurs and the laicizing Anshar does not occur. sent5: the queening landscaped does not occur and the barbecuing does not occur. sent6: the fact that the allowableness does not occur is not false if the fact that the undoing does not occur is not false. sent7: the fact that the fireman does not occur and the ticking does not occur does not hold. sent8: the perseveration occurs if the fungicidalness does not occur. sent9: the allowableness does not occur. sent10: the laicizing ambusher happens if the gait happens. sent11: the fear does not occur if the rechauffe does not occur and the perseveration occurs. sent12: the allowableness does not occur and the laicizing Anshar does not occur if the undoing does not occur. sent13: that not the fireman but the tick occurs is wrong. sent14: if the fact that the gait does not occur is true then the undoing does not occur. sent15: the perseveration happens. sent16: the laicizing ambusher does not occur if that the fireman does not occur and the tick does not occur is incorrect.
void -> assump1: Let's assume that the gait happens.; sent10 & assump1 -> int1: that the laicizing ambusher occurs is not incorrect.; sent16 & sent7 -> int2: the laicizing ambusher does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the gait does not occur.; int4 & sent14 -> int5: the undoing does not occur.; int5 & sent12 -> int6: the allowableness does not occur and the laicizing Anshar does not occur.; int6 & sent2 -> int7: the fungicidalness does not occur.; int7 & sent3 -> int8: the rechauffe does not occur and the perseveration occurs.; int8 & sent11 -> hypothesis;
$hypothesis$ = the fearing does not occur. ; $context$ = sent1: the laicizing ambusher does not occur if the ticking occurs. sent2: the non-fungicidalness is brought about by that the allowableness does not occur and the laicizing Anshar does not occur. sent3: the fact that the rechauffe does not occur but the perseveration happens is not wrong if the fungicidalness does not occur. sent4: that the fungicidalness happens is prevented by that the allowableness occurs and the laicizing Anshar does not occur. sent5: the queening landscaped does not occur and the barbecuing does not occur. sent6: the fact that the allowableness does not occur is not false if the fact that the undoing does not occur is not false. sent7: the fact that the fireman does not occur and the ticking does not occur does not hold. sent8: the perseveration occurs if the fungicidalness does not occur. sent9: the allowableness does not occur. sent10: the laicizing ambusher happens if the gait happens. sent11: the fear does not occur if the rechauffe does not occur and the perseveration occurs. sent12: the allowableness does not occur and the laicizing Anshar does not occur if the undoing does not occur. sent13: that not the fireman but the tick occurs is wrong. sent14: if the fact that the gait does not occur is true then the undoing does not occur. sent15: the perseveration happens. sent16: the laicizing ambusher does not occur if that the fireman does not occur and the tick does not occur is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the gait happens.; sent10 & assump1 -> int1: that the laicizing ambusher occurs is not incorrect.; sent16 & sent7 -> int2: the laicizing ambusher does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the gait does not occur.; int4 & sent14 -> int5: the undoing does not occur.; int5 & sent12 -> int6: the allowableness does not occur and the laicizing Anshar does not occur.; int6 & sent2 -> int7: the fungicidalness does not occur.; int7 & sent3 -> int8: the rechauffe does not occur and the perseveration occurs.; int8 & sent11 -> hypothesis; __PROVED__