Charlie is kind. Erin is green. Harry is not young. If someone is nice and not young then they are quiet. All kind people are cold. If Erin is kind then Erin is nice.
Harry is young.
@0: Charlie is kind.[(triple1)] Erin is green.[(triple2)] Harry is not young.[(triple3)] @1: Charlie is cold.[(((triple1) -> rule2))]