Charlie is kind. Charlie is quiet. Erin is green. Erin is red. Erin is young. Gary is kind. Harry is rough. Kind things are green. All cold, green things are red.
Erin is quiet.
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2)] Erin is green.[(triple3)] Erin is red.[(triple4)] Erin is young.[(triple5)] Gary is kind.[(triple6)] Harry is rough.[(triple7)] @1: Charlie is green.[(((triple1) -> rule1))] Gary is green.[(((triple6) -> rule1))]