Dave is big. Erin is not kind. Harry is young. If Dave is rough then Dave is young. If something is big and not kind then it is quiet. Big, red things are rough. If something is big then it is red. All kind, red things are furry. If something is quiet and not young then it is not furry.
Dave is not quiet.
@0: Dave is big.[(triple1)] Erin is not kind.[(triple2)] Harry is young.[(triple3)] @1: Dave is red.[(((triple1) -> rule4))] @2: Dave is rough.[(((triple1 ((triple1) -> rule4)) -> rule3))] @3: Dave is young.[(((((triple1 ((triple1) -> rule4)) -> rule3)) -> rule1))]