Bob is quiet. Charlie is kind. Charlie is red. Charlie is young. Dave is quiet. Dave is red. Gary is not green. If something is green and not kind then it is not smart. If Charlie is kind and Charlie is red then Charlie is nice.
Dave is red.
@0: Bob is quiet.[(triple1)] Charlie is kind.[(triple2)] Charlie is red.[(triple3)] Charlie is young.[(triple4)] Dave is quiet.[(triple5)] Dave is red.[(triple6)] Gary is not green.[(triple7)] @1: Charlie is nice.[(((triple2 triple3) -> rule2))]