the guaranteeing does not occur if the outerness happens and the excusableness happens.
sent1: the resizing occurs. sent2: that both the diffraction and the chancellorship occurs is brought about by that the outerness does not occur. sent3: that the avitaminoticness does not occur but the mobileness happens brings about that the fowl happens. sent4: the vibrato happens. sent5: that not the avitaminoticness but the mobile occurs is triggered by the reverberating. sent6: the reverberating occurs. sent7: the bayoneting elitism occurs. sent8: the naming URL occurs. sent9: if both the treachery and the Uniateness happens then the grouping happens. sent10: if the fact that the outerness happens is correct the bayoneting edge happens. sent11: the guarantee does not occur if both the insolubleness and the fowl happens. sent12: the cosmetology happens. sent13: the insolubleness happens if the bayoneting edge occurs.
void -> assump1: Let's assume that the outerness occurs and the excusableness occurs.; assump1 -> int1: the outerness happens.; int1 & sent10 -> int2: the bayoneting edge happens.; int2 & sent13 -> int3: the insolubleness occurs.; sent5 & sent6 -> int4: both the non-avitaminoticness and the mobileness happens.; sent3 & int4 -> int5: the fowl occurs.; int3 & int5 -> int6: both the insolubleness and the fowl occurs.; int6 & sent11 -> int7: the guarantee does not occur.; [assump1] & int7 -> hypothesis;
the diffraction occurs and the chancellorship happens.
$hypothesis$ = the guaranteeing does not occur if the outerness happens and the excusableness happens. ; $context$ = sent1: the resizing occurs. sent2: that both the diffraction and the chancellorship occurs is brought about by that the outerness does not occur. sent3: that the avitaminoticness does not occur but the mobileness happens brings about that the fowl happens. sent4: the vibrato happens. sent5: that not the avitaminoticness but the mobile occurs is triggered by the reverberating. sent6: the reverberating occurs. sent7: the bayoneting elitism occurs. sent8: the naming URL occurs. sent9: if both the treachery and the Uniateness happens then the grouping happens. sent10: if the fact that the outerness happens is correct the bayoneting edge happens. sent11: the guarantee does not occur if both the insolubleness and the fowl happens. sent12: the cosmetology happens. sent13: the insolubleness happens if the bayoneting edge occurs. ; $proof$ = 
void -> assump1: Let's assume that the outerness occurs and the excusableness occurs.; assump1 -> int1: the outerness happens.; int1 & sent10 -> int2: the bayoneting edge happens.; int2 & sent13 -> int3: the insolubleness occurs.; sent5 & sent6 -> int4: both the non-avitaminoticness and the mobileness happens.; sent3 & int4 -> int5: the fowl occurs.; int3 & int5 -> int6: both the insolubleness and the fowl occurs.; int6 & sent11 -> int7: the guarantee does not occur.; [assump1] & int7 -> hypothesis; __PROVED__