Charlie is kind. Charlie is round. Dave is rough. Dave is white. Erin is furry. Gary is rough. Gary is round. If something is kind then it is blue. All blue, kind things are young.
Charlie is blue.
@0: Charlie is kind.[(triple1)] Charlie is round.[(triple2)] Dave is rough.[(triple3)] Dave is white.[(triple4)] Erin is furry.[(triple5)] Gary is rough.[(triple6)] Gary is round.[(triple7)] @1: Charlie is blue.[(((triple1) -> rule1))] @2: Charlie is young.[(((((triple1) -> rule1) triple1) -> rule2))]