Bob is white. Charlie is nice. Charlie is red. Dave is not blue. Dave is green. Dave is kind. Gary is not kind. If Dave is young then Dave is red. Kind things are young.
Gary is not young.
@0: Bob is white.[(triple1)] Charlie is nice.[(triple2)] Charlie is red.[(triple3)] Dave is green.[(triple5)] Dave is kind.[(triple6)] Dave is not blue.[(triple4)] Gary is not kind.[(triple7)] @1: Dave is young.[(((triple6) -> rule2))] @2: Dave is red.[(((((triple6) -> rule2)) -> rule1))]