Anne is kind. Bob is cold. Charlie is cold. Fiona is red. Red things are green.
Fiona is furry.
@0: Anne is kind.[(triple1)] Bob is cold.[(triple2)] Charlie is cold.[(triple3)] Fiona is red.[(triple4)] @1: Fiona is green.[(((triple4) -> rule1))]