both the non-pilarness and the updating occurs if the criminalization occurs.
sent1: both the carding and the meteorologicness occurs. sent2: the transuranicness occurs. sent3: the outnumbering Pongidae happens if the pilarness happens. sent4: the updating does not occur and the card happens if the macerating does not occur. sent5: if both the outnumbering Pongidae and the meteorologicness happens then the criminalization does not occur. sent6: that the funicularness does not occur but the macerating occurs is wrong if the retrospective happens. sent7: the card occurs. sent8: that the criminalization does not occur but the meteorologicness happens prevents that the outnumbering Pongidae occurs. sent9: both the referencing and the retrospectiveness occurs if the adapting calcium-cyanamide does not occur. sent10: the biding does not occur. sent11: if that not the funicular but the macerating occurs does not hold then the macerating does not occur. sent12: the retrospectiveness does not occur. sent13: the updating and the macerating occurs if the retrospectiveness does not occur. sent14: the fact that the adapting calcium-cyanamide does not occur is correct if the fact that the frost happens but the simpleness does not occur is not correct.
void -> assump2: Let's assume that the pilarness occurs.; sent3 & assump2 -> int1: the outnumbering Pongidae occurs.; sent1 -> int2: the meteorologicness happens.; int1 & int2 -> int3: both the outnumbering Pongidae and the meteorologicness happens.; int3 & sent5 -> int4: that the criminalization does not occur hold.; void -> assump1: Let's assume that the criminalization happens.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the pilarness does not occur.; sent13 & sent12 -> int7: the updating and the macerating occurs.; int7 -> int8: the updating happens.; int6 & int8 -> int9: the non-pilarness and the updating occurs.; [assump1] & int9 -> hypothesis;
the nonconductiveness happens.
$hypothesis$ = both the non-pilarness and the updating occurs if the criminalization occurs. ; $context$ = sent1: both the carding and the meteorologicness occurs. sent2: the transuranicness occurs. sent3: the outnumbering Pongidae happens if the pilarness happens. sent4: the updating does not occur and the card happens if the macerating does not occur. sent5: if both the outnumbering Pongidae and the meteorologicness happens then the criminalization does not occur. sent6: that the funicularness does not occur but the macerating occurs is wrong if the retrospective happens. sent7: the card occurs. sent8: that the criminalization does not occur but the meteorologicness happens prevents that the outnumbering Pongidae occurs. sent9: both the referencing and the retrospectiveness occurs if the adapting calcium-cyanamide does not occur. sent10: the biding does not occur. sent11: if that not the funicular but the macerating occurs does not hold then the macerating does not occur. sent12: the retrospectiveness does not occur. sent13: the updating and the macerating occurs if the retrospectiveness does not occur. sent14: the fact that the adapting calcium-cyanamide does not occur is correct if the fact that the frost happens but the simpleness does not occur is not correct. ; $proof$ = 
void -> assump2: Let's assume that the pilarness occurs.; sent3 & assump2 -> int1: the outnumbering Pongidae occurs.; sent1 -> int2: the meteorologicness happens.; int1 & int2 -> int3: both the outnumbering Pongidae and the meteorologicness happens.; int3 & sent5 -> int4: that the criminalization does not occur hold.; void -> assump1: Let's assume that the criminalization happens.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the pilarness does not occur.; sent13 & sent12 -> int7: the updating and the macerating occurs.; int7 -> int8: the updating happens.; int6 & int8 -> int9: the non-pilarness and the updating occurs.; [assump1] & int9 -> hypothesis; __PROVED__