the orrery is a hedge.
sent1: the manic-depressive does not spring-clean bluffer if there is something such that that it is not servomechanical and it does not dance root is wrong. sent2: the fact that if the orrery does not swap the skibob is a headed that does spring-clean spinster hold. sent3: if the skibob does not sonnet jalousie the nullah is a kind of servomechanical thing that does spring-clean spinster. sent4: the skibob is not a headed. sent5: if the manic-depressive does not spring-clean bluffer the orrery is a hedge and it does head. sent6: if the fact that something does not sonnet jalousie hold then the fact that it is not servomechanical and does not dance root is not right. sent7: the skibob spring-cleans spinster and it does swap.
sent7 -> int1: something does spring-clean spinster and it does swap.; sent6 -> int2: the fact that the nullah is not servomechanical and it does not dance root is not correct if it does not sonnet jalousie.;
$hypothesis$ = the orrery is a hedge. ; $context$ = sent1: the manic-depressive does not spring-clean bluffer if there is something such that that it is not servomechanical and it does not dance root is wrong. sent2: the fact that if the orrery does not swap the skibob is a headed that does spring-clean spinster hold. sent3: if the skibob does not sonnet jalousie the nullah is a kind of servomechanical thing that does spring-clean spinster. sent4: the skibob is not a headed. sent5: if the manic-depressive does not spring-clean bluffer the orrery is a hedge and it does head. sent6: if the fact that something does not sonnet jalousie hold then the fact that it is not servomechanical and does not dance root is not right. sent7: the skibob spring-cleans spinster and it does swap. ; $proof$ = 
sent7 -> int1: something does spring-clean spinster and it does swap.; sent6 -> int2: the fact that the nullah is not servomechanical and it does not dance root is not correct if it does not sonnet jalousie.; __UNKNOWN__