if both the beaklessness and the including journal happens then the progressive does not occur.
sent1: the unsocialness happens. sent2: if the beaklessness and the including journal happens the progressiveness happens. sent3: the decontamination does not occur if the hardening video happens and the including akee occurs. sent4: that the restarting rink happens and/or that the bizonalness happens brings about the progressiveness. sent5: the including fontanelle occurs. sent6: the bignoniaceousness does not occur. sent7: the fact that the progressiveness occurs is right. sent8: that the restarting rink happens is triggered by that the including journal happens. sent9: that the bimetallisticness happens is not incorrect. sent10: if the uncharacteristicness occurs and the caucusing occurs then the fact that the censorialness does not occur is right. sent11: the crime happens. sent12: the nontaxableness and/or the hardening fesse happens. sent13: if the restarting rink and/or the bizonalness occurs then that the progressive does not occur hold. sent14: that the pulping occurs is not false if that the including framed happens hold. sent15: the beaklessness happens. sent16: the clickety-clack happens and the section happens. sent17: that the progressive does not occur is caused by that the bizonalness happens. sent18: if the restarting jactitation happens then the fact that the blinding blowgun occurs is not incorrect.
void -> assump1: Let's assume that the beaklessness happens and the including journal happens.; assump1 -> int1: that the including journal happens hold.; int1 & sent8 -> int2: the restarting rink happens.; int2 -> int3: the restarting rink occurs and/or the bizonalness happens.; int3 & sent13 -> int4: the progressiveness does not occur.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if both the beaklessness and the including journal happens then the progressive does not occur. ; $context$ = sent1: the unsocialness happens. sent2: if the beaklessness and the including journal happens the progressiveness happens. sent3: the decontamination does not occur if the hardening video happens and the including akee occurs. sent4: that the restarting rink happens and/or that the bizonalness happens brings about the progressiveness. sent5: the including fontanelle occurs. sent6: the bignoniaceousness does not occur. sent7: the fact that the progressiveness occurs is right. sent8: that the restarting rink happens is triggered by that the including journal happens. sent9: that the bimetallisticness happens is not incorrect. sent10: if the uncharacteristicness occurs and the caucusing occurs then the fact that the censorialness does not occur is right. sent11: the crime happens. sent12: the nontaxableness and/or the hardening fesse happens. sent13: if the restarting rink and/or the bizonalness occurs then that the progressive does not occur hold. sent14: that the pulping occurs is not false if that the including framed happens hold. sent15: the beaklessness happens. sent16: the clickety-clack happens and the section happens. sent17: that the progressive does not occur is caused by that the bizonalness happens. sent18: if the restarting jactitation happens then the fact that the blinding blowgun occurs is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the beaklessness happens and the including journal happens.; assump1 -> int1: that the including journal happens hold.; int1 & sent8 -> int2: the restarting rink happens.; int2 -> int3: the restarting rink occurs and/or the bizonalness happens.; int3 & sent13 -> int4: the progressiveness does not occur.; [assump1] & int4 -> hypothesis; __PROVED__