Erin is blue. Fiona is furry. Gary is young. Young things are white.
Erin is not white.
@0: Erin is blue.[(triple1)] Fiona is furry.[(triple2)] Gary is young.[(triple3)] @1: Gary is white.[(((triple3) -> rule1))]