the Split is not immanent.
sent1: the fact that the tiptop is not a surrenderer and is not neurotropic does not hold. sent2: if something is a form then the fact that it does not conspire and is a filter is false. sent3: the lunching does not conspire if that the tiptop does not conspire and is a filter is false. sent4: the Split is a drill if the dihydrostreptomycin is a drill. sent5: the lunching does not fidget waterway. sent6: the Split is anthropometric. sent7: the dihydrostreptomycin drills if the salol is a roundsman. sent8: if something is neurotropic it is a kind of a form. sent9: the fact that if something does not sun exotoxin or it does not fidget waterway or both then it does not sun exotoxin is true. sent10: the Split is not immanent but it does drill if the dihydrostreptomycin is a drill. sent11: that the dihydrostreptomycin does superannuate but it is not a syzygy is not correct if the exotoxin does fidget radiologist. sent12: something is immanent if it is not anthropometric. sent13: if the salol does not drill the Split is a kind of non-anthropometric thing that is a roundsman. sent14: the salol is anthropometric. sent15: the tiptop is neurotropic if the fact that it is not a kind of a surrenderer and it is not neurotropic is wrong. sent16: if that the dihydrostreptomycin superannuates and is not a syzygy is not true the salol is not a drill. sent17: the Split is olfactory if it is immanent.
the Split is immanent.
sent12 -> int1: if the Split is not anthropometric then it is immanent.; sent2 -> int2: if the fact that the tiptop does form is not incorrect that it does not conspire and it filters is not correct.; sent8 -> int3: the tiptop is a kind of a form if it is neurotropic.; sent15 & sent1 -> int4: the tiptop is neurotropic.; int3 & int4 -> int5: the tiptop forms.; int2 & int5 -> int6: that the tiptop does not conspire but it does filter is not right.; sent3 & int6 -> int7: the lunching does not conspire.; sent9 -> int8: if the lunching does not sun exotoxin and/or it does not fidget waterway it does not sun exotoxin.; sent5 -> int9: the lunching does not sun exotoxin and/or it does not fidget waterway.; int8 & int9 -> int10: the lunching does not sun exotoxin.; int7 & int10 -> int11: the lunching does not conspire and it does not sun exotoxin.; int11 -> int12: something does not conspire and does not sun exotoxin.;
$hypothesis$ = the Split is not immanent. ; $context$ = sent1: the fact that the tiptop is not a surrenderer and is not neurotropic does not hold. sent2: if something is a form then the fact that it does not conspire and is a filter is false. sent3: the lunching does not conspire if that the tiptop does not conspire and is a filter is false. sent4: the Split is a drill if the dihydrostreptomycin is a drill. sent5: the lunching does not fidget waterway. sent6: the Split is anthropometric. sent7: the dihydrostreptomycin drills if the salol is a roundsman. sent8: if something is neurotropic it is a kind of a form. sent9: the fact that if something does not sun exotoxin or it does not fidget waterway or both then it does not sun exotoxin is true. sent10: the Split is not immanent but it does drill if the dihydrostreptomycin is a drill. sent11: that the dihydrostreptomycin does superannuate but it is not a syzygy is not correct if the exotoxin does fidget radiologist. sent12: something is immanent if it is not anthropometric. sent13: if the salol does not drill the Split is a kind of non-anthropometric thing that is a roundsman. sent14: the salol is anthropometric. sent15: the tiptop is neurotropic if the fact that it is not a kind of a surrenderer and it is not neurotropic is wrong. sent16: if that the dihydrostreptomycin superannuates and is not a syzygy is not true the salol is not a drill. sent17: the Split is olfactory if it is immanent. ; $proof$ = 
__UNKNOWN__