Charlie is red. Dave is white. Gary is young. Harry is kind. If someone is young and nice then they are white. If someone is white then they are kind. All kind, big people are round.
Gary is not white.
@0: Charlie is red.[(triple1)] Dave is white.[(triple2)] Gary is young.[(triple3)] Harry is kind.[(triple4)] @1: Dave is kind.[(((triple2) -> rule2))]