the fact that the remand occurs is correct if the fragmenting siderocyte occurs.
sent1: the fact that the clanking brace happens and the uvealness occurs is incorrect. sent2: the collecting does not occur. sent3: the rumination does not occur. sent4: if the remand happens the fact that the Mosaicness happens and the traumaticness occurs is false. sent5: the bicapsularness does not occur if the fact that that both the stimulation and the ninepins happens is wrong is correct. sent6: the fragmenting siderocyte does not occur if that the traumaticness does not occur is right. sent7: the ninepins occurs. sent8: if the remand does not occur that the Mosaicness happens and the traumaticness occurs does not hold. sent9: if the fact that the Mosaicness and the traumaticness occurs is wrong the fragmenting siderocyte does not occur. sent10: the amnesicness happens. sent11: that the fragmenting Choloepus occurs is brought about by that the fragmenting Certhia occurs. sent12: the arenaceousness does not occur if the fact that the aoristicness and the hoist happens is not right.
void -> assump1: Let's assume that the fragmenting siderocyte happens.; void -> assump2: Let's assume that the remand does not occur.; sent8 & assump2 -> int1: that both the Mosaicness and the traumaticness happens is false.; sent9 & int1 -> int2: the fact that the fragmenting siderocyte does not occur is correct.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the remand happens.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the fact that the remand occurs is correct if the fragmenting siderocyte occurs. ; $context$ = sent1: the fact that the clanking brace happens and the uvealness occurs is incorrect. sent2: the collecting does not occur. sent3: the rumination does not occur. sent4: if the remand happens the fact that the Mosaicness happens and the traumaticness occurs is false. sent5: the bicapsularness does not occur if the fact that that both the stimulation and the ninepins happens is wrong is correct. sent6: the fragmenting siderocyte does not occur if that the traumaticness does not occur is right. sent7: the ninepins occurs. sent8: if the remand does not occur that the Mosaicness happens and the traumaticness occurs does not hold. sent9: if the fact that the Mosaicness and the traumaticness occurs is wrong the fragmenting siderocyte does not occur. sent10: the amnesicness happens. sent11: that the fragmenting Choloepus occurs is brought about by that the fragmenting Certhia occurs. sent12: the arenaceousness does not occur if the fact that the aoristicness and the hoist happens is not right. ; $proof$ = 
void -> assump1: Let's assume that the fragmenting siderocyte happens.; void -> assump2: Let's assume that the remand does not occur.; sent8 & assump2 -> int1: that both the Mosaicness and the traumaticness happens is false.; sent9 & int1 -> int2: the fact that the fragmenting siderocyte does not occur is correct.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the remand happens.; [assump1] & int4 -> hypothesis; __PROVED__