Dave is not big. If Dave is not big then Dave is not quiet. If Dave is kind and Dave is smart then Dave is not rough. If Dave is big and Dave is rough then Dave is green.
Dave is not big.
@0: Dave is not big.[(triple1)] @1: Dave is not quiet.[(((triple1) -> rule1))]