Anne is not green. Bob is green. Dave is green. All green things are young. All kind things are young. If something is rough then it is young. If Bob is quiet and Bob is blue then Bob is not young. If Dave is quiet and Dave is not smart then Dave is young. Quiet, green things are blue. If something is young then it is kind. If something is kind and smart then it is rough.
Dave is not green.
@0: Anne is not green.[(triple1)] Bob is green.[(triple2)] Dave is green.[(triple3)] @1: Bob is young.[(((triple2) -> rule1))] Dave is young.[(((triple3) -> rule1))] @2: Bob is kind.[(((((triple2) -> rule1)) -> rule7))] Dave is kind.[(((((triple3) -> rule1)) -> rule7))]