the match-up does not occur.
sent1: the fact that both the directing Mann and the diminishing Roosevelt happens is not right. sent2: if the fact that the alkaloidalness does not occur and the match-up does not occur does not hold the fact that the match-up occurs is not false. sent3: if the lining does not occur the fact that the non-lutealness and the ministry occurs is not true. sent4: the decision does not occur. sent5: that the expostulation happens hold if the fact that the brooching Moschus does not occur and/or the orbitalness happens is correct. sent6: if the nonunionness does not occur the match-up does not occur. sent7: the fact that the brooching coneflower occurs and the nonfinancialness happens is wrong if the brooching Cantharellus does not occur. sent8: if that the expostulation occurs and the brooching coneflower does not occur is not correct the brooching coneflower occurs. sent9: the culture does not occur. sent10: the fact that that the staining does not occur and the nonunionness occurs is correct does not hold if the fact that the alkaloidalness does not occur is not false. sent11: if the brooching porcupines does not occur then the fact that the alkaloidalness does not occur and the match-up does not occur is false. sent12: the Corsicanness does not occur. sent13: that the brooching Cantharellus does not occur is brought about by that both the brooching porcupines and the alkaloidalness occurs. sent14: the expostulation happens if the orbitalness happens. sent15: the brooching Moschus does not occur and/or the orbitalness happens. sent16: the match-up does not occur if that not the staining but the nonunionness happens is not true. sent17: if the nonfinancialness does not occur the fact that the expostulation happens but the brooching coneflower does not occur does not hold. sent18: if that both the brooching coneflower and the nonfinancialness happens is not correct that the expostulation does not occur is correct. sent19: the brooching porcupines happens.
void -> assump1: Let's assume that the alkaloidalness occurs.; sent19 & assump1 -> int1: the brooching porcupines occurs and the alkaloidalness happens.; int1 & sent13 -> int2: the brooching Cantharellus does not occur.; int2 & sent7 -> int3: that the brooching coneflower occurs and the nonfinancialness occurs is not right.; int3 & sent18 -> int4: the expostulation does not occur.; sent5 & sent15 -> int5: the expostulation occurs.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the alkaloidalness does not occur.; int7 & sent10 -> int8: that not the staining but the nonunionness occurs is not correct.; int8 & sent16 -> hypothesis;
the match-up occurs.
$hypothesis$ = the match-up does not occur. ; $context$ = sent1: the fact that both the directing Mann and the diminishing Roosevelt happens is not right. sent2: if the fact that the alkaloidalness does not occur and the match-up does not occur does not hold the fact that the match-up occurs is not false. sent3: if the lining does not occur the fact that the non-lutealness and the ministry occurs is not true. sent4: the decision does not occur. sent5: that the expostulation happens hold if the fact that the brooching Moschus does not occur and/or the orbitalness happens is correct. sent6: if the nonunionness does not occur the match-up does not occur. sent7: the fact that the brooching coneflower occurs and the nonfinancialness happens is wrong if the brooching Cantharellus does not occur. sent8: if that the expostulation occurs and the brooching coneflower does not occur is not correct the brooching coneflower occurs. sent9: the culture does not occur. sent10: the fact that that the staining does not occur and the nonunionness occurs is correct does not hold if the fact that the alkaloidalness does not occur is not false. sent11: if the brooching porcupines does not occur then the fact that the alkaloidalness does not occur and the match-up does not occur is false. sent12: the Corsicanness does not occur. sent13: that the brooching Cantharellus does not occur is brought about by that both the brooching porcupines and the alkaloidalness occurs. sent14: the expostulation happens if the orbitalness happens. sent15: the brooching Moschus does not occur and/or the orbitalness happens. sent16: the match-up does not occur if that not the staining but the nonunionness happens is not true. sent17: if the nonfinancialness does not occur the fact that the expostulation happens but the brooching coneflower does not occur does not hold. sent18: if that both the brooching coneflower and the nonfinancialness happens is not correct that the expostulation does not occur is correct. sent19: the brooching porcupines happens. ; $proof$ = 
void -> assump1: Let's assume that the alkaloidalness occurs.; sent19 & assump1 -> int1: the brooching porcupines occurs and the alkaloidalness happens.; int1 & sent13 -> int2: the brooching Cantharellus does not occur.; int2 & sent7 -> int3: that the brooching coneflower occurs and the nonfinancialness occurs is not right.; int3 & sent18 -> int4: the expostulation does not occur.; sent5 & sent15 -> int5: the expostulation occurs.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the alkaloidalness does not occur.; int7 & sent10 -> int8: that not the staining but the nonunionness occurs is not correct.; int8 & sent16 -> hypothesis; __PROVED__