Anne is cold. Bob is cold. Fiona is smart. Gary is rough. All cold people are smart. If someone is quiet and kind then they are furry.
Anne is cold.
@0: Anne is cold.[(triple1)] Bob is cold.[(triple2)] Fiona is smart.[(triple3)] Gary is rough.[(triple4)] @1: Anne is smart.[(((triple1) -> rule1))] Bob is smart.[(((triple2) -> rule1))]