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.
Bob is not 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))]