there is something such that if it is neurobiological then it is anapestic.
sent1: if something is a kind of a Fry it is a kind of a scab. sent2: there is something such that if it is an absolution it is a ready-made. sent3: a serviceable thing is Kiplingesque. sent4: if the arcus is neurobiological it is anapestic. sent5: there is something such that if it is myotonic then it is trihydroxy. sent6: if the arcus is not non-anapestic then the fact that it is not a Nahum does not hold. sent7: there exists something such that if it is a backstay it is serviceable. sent8: something is associational if it is concretistic.
sent4 -> hypothesis;
there is something such that if it is a Fry it is a kind of a scab.
sent1 -> int1: if the feverroot is a Fry it scabs.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is neurobiological then it is anapestic. ; $context$ = sent1: if something is a kind of a Fry it is a kind of a scab. sent2: there is something such that if it is an absolution it is a ready-made. sent3: a serviceable thing is Kiplingesque. sent4: if the arcus is neurobiological it is anapestic. sent5: there is something such that if it is myotonic then it is trihydroxy. sent6: if the arcus is not non-anapestic then the fact that it is not a Nahum does not hold. sent7: there exists something such that if it is a backstay it is serviceable. sent8: something is associational if it is concretistic. ; $proof$ = 
sent4 -> hypothesis; __PROVED__