Charlie is green. Charlie is young. Erin is green. All nice, white things are cold. Young things are white.
Erin is not cold.
@0: Charlie is green.[(triple1)] Charlie is young.[(triple2)] Erin is green.[(triple3)] @1: Charlie is white.[(((triple2) -> rule2))]