( ( Therefore ( if ( ( sedimentary beds ) ( ( are NOT ) horizontal ) ) ) ) ( , ( they ( ( have ( been deformed ) ) . ) ) ) )
(ROOT (S (SBAR (ADVP (RB Therefore)) (IN if) (S (NP (JJ sedimentary) (NNS beds)) (VP (VBP are) (ADVP (RB NOT)) (ADJP (JJ horizontal))))) (, ,) (NP (PRP they)) (VP (VBP have) (VP (VBN been) (ADJP (VBN deformed)))) (. .)))
Therefore if sedimentary beds are NOT horizontal, they have been deformed.
(ROOT (S (NP (NP (DT A) (VBG defining) (NN feature)) (PP (IN of) (NP (JJ deformed) (NN sedimentary) (NNS rocks)))) (VP (VBZ is) (SBAR (IN that) (S (NP (PRP they)) (VP (VBP are) (RB not) (ADJP (JJ horizontal)))))) (. .)))