if the girdling cosmetologist happens then the scuffing prayer does not occur.
sent1: the coordinating happens. sent2: the essay happens. sent3: that the scuffing bicker does not occur but the girdling cosmetologist happens prevents that the scuffing prayer does not occur. sent4: the girdling enclosure but not the blocking occurs. sent5: that the slicing occurs is not false. sent6: the girdling waveguide does not occur if the fact that not the slicing but the scuffing bicker occurs is not right. sent7: that not the incurvation but the scuffing baud happens prevents that the sunshine does not occur. sent8: the scuffing prayer happens. sent9: if the ruffianism occurs the curliness happens but the insertion does not occur. sent10: that the Assumption happens causes that the girdling cosmetologist does not occur but the scuffing prayer happens. sent11: the fact that the slicing does not occur but the scuffing bicker happens is not right if the girdling cosmetologist does not occur. sent12: the slicing but not the scuffing bicker happens. sent13: if not the girdling cosmetologist but the scuffing prayer happens that the slicing occurs is true. sent14: the numericalness does not occur. sent15: if the fact that the slicing occurs is not incorrect the fact that the metabolicness occurs but the scuffing bicker does not occur is incorrect. sent16: if that the metabolicness happens but the scuffing bicker does not occur is not right then the metabolicness does not occur. sent17: that the curliness but not the insertion occurs results in that the Assumption occurs. sent18: the Spam happens. sent19: the scuffing prayer happens if the girdling cosmetologist occurs. sent20: that the girdling lorazepam occurs is prevented by that both the non-inauguralness and the barbarizing happens. sent21: if not the animalization but the anger occurs the flotation occurs.
sent12 -> int1: the scuffing bicker does not occur.; void -> assump1: Let's assume that the girdling cosmetologist happens.; int1 & assump1 -> int2: the scuffing bicker does not occur but the girdling cosmetologist happens.;
the metabolicness does not occur.
$hypothesis$ = if the girdling cosmetologist happens then the scuffing prayer does not occur. ; $context$ = sent1: the coordinating happens. sent2: the essay happens. sent3: that the scuffing bicker does not occur but the girdling cosmetologist happens prevents that the scuffing prayer does not occur. sent4: the girdling enclosure but not the blocking occurs. sent5: that the slicing occurs is not false. sent6: the girdling waveguide does not occur if the fact that not the slicing but the scuffing bicker occurs is not right. sent7: that not the incurvation but the scuffing baud happens prevents that the sunshine does not occur. sent8: the scuffing prayer happens. sent9: if the ruffianism occurs the curliness happens but the insertion does not occur. sent10: that the Assumption happens causes that the girdling cosmetologist does not occur but the scuffing prayer happens. sent11: the fact that the slicing does not occur but the scuffing bicker happens is not right if the girdling cosmetologist does not occur. sent12: the slicing but not the scuffing bicker happens. sent13: if not the girdling cosmetologist but the scuffing prayer happens that the slicing occurs is true. sent14: the numericalness does not occur. sent15: if the fact that the slicing occurs is not incorrect the fact that the metabolicness occurs but the scuffing bicker does not occur is incorrect. sent16: if that the metabolicness happens but the scuffing bicker does not occur is not right then the metabolicness does not occur. sent17: that the curliness but not the insertion occurs results in that the Assumption occurs. sent18: the Spam happens. sent19: the scuffing prayer happens if the girdling cosmetologist occurs. sent20: that the girdling lorazepam occurs is prevented by that both the non-inauguralness and the barbarizing happens. sent21: if not the animalization but the anger occurs the flotation occurs. ; $proof$ = 
sent12 -> int1: the scuffing bicker does not occur.; void -> assump1: Let's assume that the girdling cosmetologist happens.; int1 & assump1 -> int2: the scuffing bicker does not occur but the girdling cosmetologist happens.; __UNKNOWN__