the tricing dimension does not occur.
sent1: the solution occurs if the tricing Thatcher does not occur. sent2: that the shape-up does not occur is caused by that the dimming depletion does not occur and the dimming Pitman does not occur. sent3: the dimming depletion does not occur. sent4: the lingual and the powdering occurs. sent5: the movement does not occur. sent6: the occulting quinone occurs if the shape-up does not occur. sent7: the occulting income happens and/or the dimming Albugo occurs. sent8: that the counterblast and the tricing Thatcher happens triggers that the Faustianness does not occur. sent9: the counterblast occurs if the jointure occurs. sent10: the dimming depletion does not occur and the dimming Pitman does not occur. sent11: the solution and/or that the submissiveness happens prevents the tricing dimension. sent12: that both the Faustianness and the occulting quinone occurs is caused by that the shape-up does not occur. sent13: that the veto occurs and the dimming tamale occurs is brought about by that the tricing RFD does not occur. sent14: the irrigation does not occur and the animalisticness does not occur.
void -> assump1: Let's assume that the tricing Thatcher occurs.; sent2 & sent10 -> int1: that the shape-up does not occur hold.; sent12 & int1 -> int2: the Faustianness occurs and the occulting quinone occurs.; int2 -> int3: the Faustianness happens.;
$hypothesis$ = the tricing dimension does not occur. ; $context$ = sent1: the solution occurs if the tricing Thatcher does not occur. sent2: that the shape-up does not occur is caused by that the dimming depletion does not occur and the dimming Pitman does not occur. sent3: the dimming depletion does not occur. sent4: the lingual and the powdering occurs. sent5: the movement does not occur. sent6: the occulting quinone occurs if the shape-up does not occur. sent7: the occulting income happens and/or the dimming Albugo occurs. sent8: that the counterblast and the tricing Thatcher happens triggers that the Faustianness does not occur. sent9: the counterblast occurs if the jointure occurs. sent10: the dimming depletion does not occur and the dimming Pitman does not occur. sent11: the solution and/or that the submissiveness happens prevents the tricing dimension. sent12: that both the Faustianness and the occulting quinone occurs is caused by that the shape-up does not occur. sent13: that the veto occurs and the dimming tamale occurs is brought about by that the tricing RFD does not occur. sent14: the irrigation does not occur and the animalisticness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the tricing Thatcher occurs.; sent2 & sent10 -> int1: that the shape-up does not occur hold.; sent12 & int1 -> int2: the Faustianness occurs and the occulting quinone occurs.; int2 -> int3: the Faustianness happens.; __UNKNOWN__