Dave is cold. Erin is young. Fiona is furry. If something is young then it is blue. Big things are furry. Furry things are white.
Dave is not white.
@0: Dave is cold.[(triple1)] Erin is young.[(triple2)] Fiona is furry.[(triple3)] @1: Erin is blue.[(((triple2) -> rule1))] Fiona is white.[(((triple3) -> rule3))]