Charlie is rough. Dave is rough. Gary is not green. Harry is kind. All quiet, rough things are nice. If something is rough then it is not nice. If Harry is kind and Harry is not rough then Harry is not green. If something is rough and not nice then it is not kind. If something is rough and not kind then it is green. If something is green and not quiet then it is young.
Dave is not young.
@0: Charlie is rough.[(triple1)] Dave is rough.[(triple2)] Gary is not green.[(triple3)] Harry is kind.[(triple4)] @1: Charlie is not nice.[(((triple1) -> rule2))] Dave is not nice.[(((triple2) -> rule2))] @2: Charlie is not kind.[(((triple1 ((triple1) -> rule2)) -> rule4))] Dave is not kind.[(((triple2 ((triple2) -> rule2)) -> rule4))] @3: Charlie is green.[(((triple1 ((triple1 ((triple1) -> rule2)) -> rule4)) -> rule5))] Dave is green.[(((triple2 ((triple2 ((triple2) -> rule2)) -> rule4)) -> rule5))]