the reddening does not occur.
sent1: the reddening is brought about by that that the storing does not occur and the RFD happens is right. sent2: the meteorologicness happens if the RFD does not occur. sent3: the raising occurs. sent4: the ground and the blemishing Turkoman happens. sent5: if the expulsion happens and the blemishing Turkoman occurs the fact that the reddening does not occur is true. sent6: the chalkiness does not occur. sent7: if the meteorologicness occurs the stocking does not occur and/or the abjuring Ambystomatidae happens. sent8: the store occurs if either the stocking does not occur or the store occurs or both. sent9: if the chalkiness does not occur the blemishing barye does not occur and the apparition does not occur. sent10: that the fitter does not occur and the bead does not occur is triggered by that the RFD happens. sent11: the store does not occur if both the non-tricentenariness and the heliacalness happens. sent12: if the apparition does not occur the fact that either the stocking does not occur or the abjuring Ambystomatidae happens or both is not right. sent13: the RFD does not occur if the store does not occur. sent14: if the store occurs then the RFD happens.
void -> assump1: Let's assume that the non-tricentenariness and the heliacalness happens.; sent11 & assump1 -> int1: the storing does not occur.; int1 & sent13 -> int2: the RFD does not occur.; int2 & sent2 -> int3: the meteorologicness occurs.; int3 & sent7 -> int4: the stocking does not occur and/or the abjuring Ambystomatidae occurs.; sent9 & sent6 -> int5: the blemishing barye does not occur and the apparition does not occur.; int5 -> int6: the fact that the apparition does not occur is not wrong.; sent12 & int6 -> int7: that the stocking does not occur or the abjuring Ambystomatidae occurs or both is not true.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the fact that both the non-tricentenaryness and the heliacalness happens is false.; sent4 -> int10: the blemishing Turkoman happens.;
the reddening happens.
$hypothesis$ = the reddening does not occur. ; $context$ = sent1: the reddening is brought about by that that the storing does not occur and the RFD happens is right. sent2: the meteorologicness happens if the RFD does not occur. sent3: the raising occurs. sent4: the ground and the blemishing Turkoman happens. sent5: if the expulsion happens and the blemishing Turkoman occurs the fact that the reddening does not occur is true. sent6: the chalkiness does not occur. sent7: if the meteorologicness occurs the stocking does not occur and/or the abjuring Ambystomatidae happens. sent8: the store occurs if either the stocking does not occur or the store occurs or both. sent9: if the chalkiness does not occur the blemishing barye does not occur and the apparition does not occur. sent10: that the fitter does not occur and the bead does not occur is triggered by that the RFD happens. sent11: the store does not occur if both the non-tricentenariness and the heliacalness happens. sent12: if the apparition does not occur the fact that either the stocking does not occur or the abjuring Ambystomatidae happens or both is not right. sent13: the RFD does not occur if the store does not occur. sent14: if the store occurs then the RFD happens. ; $proof$ = 
void -> assump1: Let's assume that the non-tricentenariness and the heliacalness happens.; sent11 & assump1 -> int1: the storing does not occur.; int1 & sent13 -> int2: the RFD does not occur.; int2 & sent2 -> int3: the meteorologicness occurs.; int3 & sent7 -> int4: the stocking does not occur and/or the abjuring Ambystomatidae occurs.; sent9 & sent6 -> int5: the blemishing barye does not occur and the apparition does not occur.; int5 -> int6: the fact that the apparition does not occur is not wrong.; sent12 & int6 -> int7: that the stocking does not occur or the abjuring Ambystomatidae occurs or both is not true.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the fact that both the non-tricentenaryness and the heliacalness happens is false.; sent4 -> int10: the blemishing Turkoman happens.; __UNKNOWN__