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.
Fiona is not furry.
@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))]