that the maddening icecap occurs hold.
sent1: if the replay happens then either the prefiguring does not occur or the maddening icecap does not occur or both. sent2: that the seminar does not occur causes that the replaying occurs and the Taoist happens. sent3: that the maddening icecap occurs is caused by that the maddening asceticism happens. sent4: if the linemen happens then the spoilage but not the seminar happens. sent5: the pentavalentness does not occur. sent6: the maddening asceticism occurs if the pentavalentness does not occur.
sent6 & sent5 -> int1: the maddening asceticism occurs.; sent3 & int1 -> hypothesis;
the glamorizing teiid does not occur.
$hypothesis$ = that the maddening icecap occurs hold. ; $context$ = sent1: if the replay happens then either the prefiguring does not occur or the maddening icecap does not occur or both. sent2: that the seminar does not occur causes that the replaying occurs and the Taoist happens. sent3: that the maddening icecap occurs is caused by that the maddening asceticism happens. sent4: if the linemen happens then the spoilage but not the seminar happens. sent5: the pentavalentness does not occur. sent6: the maddening asceticism occurs if the pentavalentness does not occur. ; $proof$ = 
sent6 & sent5 -> int1: the maddening asceticism occurs.; sent3 & int1 -> hypothesis; __PROVED__