Charlie is kind. Erin is rough. Gary is green. If someone is rough and big then they are cold. Green people are white. If someone is cold and kind then they are blue.
Erin is kind.
@0: Charlie is kind.[(triple1)] Erin is rough.[(triple2)] Gary is green.[(triple3)] @1: Gary is white.[(((triple3) -> rule2))]