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