Anne is kind. Bob is white. Fiona is young. Gary is round. Young things are cold. All round, kind things are furry.
Anne is kind.
@0: Anne is kind.[(triple1)] Bob is white.[(triple2)] Fiona is young.[(triple3)] Gary is round.[(triple4)] @1: Fiona is cold.[(((triple3) -> rule1))]