the landler does not occur.
sent1: the filialness occurs. sent2: the redemption does not occur. sent3: that the landler occurs is correct if the fact that the vigilantism does not occur but the filialness occurs is incorrect. sent4: if either the vigilantism does not occur or the darts does not occur or both then the concatenation does not occur. sent5: the redemption does not occur and the minting turbot occurs if the IRA does not occur. sent6: the cirrocumulus happens. sent7: the vigilantism does not occur and/or the darts occurs. sent8: if the concatenation does not occur the landler does not occur. sent9: that the landler occurs is triggered by that the filialness does not occur and the vigilantism does not occur. sent10: the tubalness does not occur. sent11: the fact that the contamination does not occur hold if both the filialness and the vigilantism happens. sent12: the fact that the concatenation but not the darting happens is not true if the IRA occurs. sent13: if the cirrocumulus happens the IRA does not occur. sent14: that the fact that not the redemption but the minting turbot happens does not hold if the contamination does not occur is not incorrect. sent15: the vigilantism occurs and/or the darting does not occur.
void -> assump1: Let's assume that the vigilantism happens.; sent1 & assump1 -> int1: the filialness occurs and the vigilantism happens.; int1 & sent11 -> int2: that the contamination does not occur is not wrong.; int2 & sent14 -> int3: that the redemption does not occur but the minting turbot occurs is not right.; sent13 & sent6 -> int4: the IRA does not occur.; sent5 & int4 -> int5: the redemption does not occur and the minting turbot occurs.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the vigilantism does not occur.; int7 -> int8: the vigilantism does not occur or the darts does not occur or both.; int8 & sent4 -> int9: the concatenation does not occur.; int9 & sent8 -> hypothesis;
the landler occurs.
$hypothesis$ = the landler does not occur. ; $context$ = sent1: the filialness occurs. sent2: the redemption does not occur. sent3: that the landler occurs is correct if the fact that the vigilantism does not occur but the filialness occurs is incorrect. sent4: if either the vigilantism does not occur or the darts does not occur or both then the concatenation does not occur. sent5: the redemption does not occur and the minting turbot occurs if the IRA does not occur. sent6: the cirrocumulus happens. sent7: the vigilantism does not occur and/or the darts occurs. sent8: if the concatenation does not occur the landler does not occur. sent9: that the landler occurs is triggered by that the filialness does not occur and the vigilantism does not occur. sent10: the tubalness does not occur. sent11: the fact that the contamination does not occur hold if both the filialness and the vigilantism happens. sent12: the fact that the concatenation but not the darting happens is not true if the IRA occurs. sent13: if the cirrocumulus happens the IRA does not occur. sent14: that the fact that not the redemption but the minting turbot happens does not hold if the contamination does not occur is not incorrect. sent15: the vigilantism occurs and/or the darting does not occur. ; $proof$ = 
void -> assump1: Let's assume that the vigilantism happens.; sent1 & assump1 -> int1: the filialness occurs and the vigilantism happens.; int1 & sent11 -> int2: that the contamination does not occur is not wrong.; int2 & sent14 -> int3: that the redemption does not occur but the minting turbot occurs is not right.; sent13 & sent6 -> int4: the IRA does not occur.; sent5 & int4 -> int5: the redemption does not occur and the minting turbot occurs.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the vigilantism does not occur.; int7 -> int8: the vigilantism does not occur or the darts does not occur or both.; int8 & sent4 -> int9: the concatenation does not occur.; int9 & sent8 -> hypothesis; __PROVED__