if the photostating composure occurs the corruptness happens.
sent1: the plunge does not occur if the fact that the jointure occurs and/or the wowing farthingale does not occur is not correct. sent2: the incorruptness and the Venetianness occurs if the plunging does not occur. sent3: the corruptness occurs if the dripping occurs. sent4: the dripping does not occur and the travelogue happens if the internalness occurs. sent5: that the internalness does not occur is caused by that both the tailoring and the tall occurs. sent6: the tailoring and the tallness happens. sent7: the brachiation does not occur. sent8: that the internalness does not occur and the dripping does not occur yields that the photostating composure happens.
void -> assump2: Let's assume that the photostating composure occurs.; sent5 & sent6 -> int1: the internalness does not occur.; void -> assump1: Let's assume that the dripping does not occur.; int1 & assump1 -> int2: the internalness does not occur and the dripping does not occur.;
the travelogue occurs.
$hypothesis$ = if the photostating composure occurs the corruptness happens. ; $context$ = sent1: the plunge does not occur if the fact that the jointure occurs and/or the wowing farthingale does not occur is not correct. sent2: the incorruptness and the Venetianness occurs if the plunging does not occur. sent3: the corruptness occurs if the dripping occurs. sent4: the dripping does not occur and the travelogue happens if the internalness occurs. sent5: that the internalness does not occur is caused by that both the tailoring and the tall occurs. sent6: the tailoring and the tallness happens. sent7: the brachiation does not occur. sent8: that the internalness does not occur and the dripping does not occur yields that the photostating composure happens. ; $proof$ = 
void -> assump2: Let's assume that the photostating composure occurs.; sent5 & sent6 -> int1: the internalness does not occur.; void -> assump1: Let's assume that the dripping does not occur.; int1 & assump1 -> int2: the internalness does not occur and the dripping does not occur.; __UNKNOWN__