Charlie is kind. Erin is furry. If someone is kind then they are furry. If someone is blue then they are round.
Erin is young.
@0: Charlie is kind.[(triple1)] Erin is furry.[(triple2)] @1: Charlie is furry.[(((triple1) -> rule1))]