the crying is not a kind of a conima.
sent1: something is indexless if it does stow ROM. sent2: that the bitterroot is not non-heliacal is true if there exists something such that it is indexless or is non-heliacal or both. sent3: if something does not stow ROM it is not indexless and it is not heliacal. sent4: the aster does not stow ROM if the sinkhole is not a kind of a proofreader. sent5: something is a conima if it is not non-filarial. sent6: the bitterroot is not non-more and is not orthoptic. sent7: the fact that something is both not filarial and not a gearbox is not true if it is heliacal. sent8: the spender does not comfort and it is not bicipital. sent9: something that is not a comforts and not bicipital is not resistive. sent10: the aster does stow ROM. sent11: if the aster is not heliacal then the fact that the bitterroot is a gearbox or it is filarial or both does not hold. sent12: if something yodels and/or does not stow Cicadidae it is not a proofreader. sent13: something is not a conima if it is not filarial. sent14: the bitterroot is a conima and not orthoptic. sent15: the admiral is filarial. sent16: the bitterroot is not orthoptic. sent17: the tern is filarial. sent18: the sinkhole yodels and/or it does not stow Cicadidae if it is resistive. sent19: the sinkhole is resistive if the spender is a kind of resistive thing that is not airworthy. sent20: the fact that if the bitterroot is more and is orthoptic then the crying is filarial is not incorrect. sent21: the crying is filarial if the bitterroot is more and is not orthoptic. sent22: if that that the bitterroot is either a gearbox or filarial or both is correct does not hold then the crying is not a conima.
sent21 & sent6 -> int1: the crying is filarial.; sent5 -> int2: if the crying is filarial then it is a conima.; int1 & int2 -> hypothesis;
that the crying is not a conima hold.
sent7 -> int3: that the bitterroot is not filarial and it is not a gearbox does not hold if it is heliacal.; sent1 -> int4: the aster is indexless if it does stow ROM.; int4 & sent10 -> int5: the aster is not non-indexless.; int5 -> int6: the aster either is indexless or is heliacal or both.; int6 -> int7: something either is indexless or is heliacal or both.; int7 & sent2 -> int8: the bitterroot is heliacal.; int3 & int8 -> int9: the fact that the bitterroot is not filarial and is not a gearbox is not true.; int9 -> int10: there exists something such that that it is not filarial and not a gearbox is incorrect.;
$hypothesis$ = the crying is not a kind of a conima. ; $context$ = sent1: something is indexless if it does stow ROM. sent2: that the bitterroot is not non-heliacal is true if there exists something such that it is indexless or is non-heliacal or both. sent3: if something does not stow ROM it is not indexless and it is not heliacal. sent4: the aster does not stow ROM if the sinkhole is not a kind of a proofreader. sent5: something is a conima if it is not non-filarial. sent6: the bitterroot is not non-more and is not orthoptic. sent7: the fact that something is both not filarial and not a gearbox is not true if it is heliacal. sent8: the spender does not comfort and it is not bicipital. sent9: something that is not a comforts and not bicipital is not resistive. sent10: the aster does stow ROM. sent11: if the aster is not heliacal then the fact that the bitterroot is a gearbox or it is filarial or both does not hold. sent12: if something yodels and/or does not stow Cicadidae it is not a proofreader. sent13: something is not a conima if it is not filarial. sent14: the bitterroot is a conima and not orthoptic. sent15: the admiral is filarial. sent16: the bitterroot is not orthoptic. sent17: the tern is filarial. sent18: the sinkhole yodels and/or it does not stow Cicadidae if it is resistive. sent19: the sinkhole is resistive if the spender is a kind of resistive thing that is not airworthy. sent20: the fact that if the bitterroot is more and is orthoptic then the crying is filarial is not incorrect. sent21: the crying is filarial if the bitterroot is more and is not orthoptic. sent22: if that that the bitterroot is either a gearbox or filarial or both is correct does not hold then the crying is not a conima. ; $proof$ = 
sent21 & sent6 -> int1: the crying is filarial.; sent5 -> int2: if the crying is filarial then it is a conima.; int1 & int2 -> hypothesis; __DISPROVED__