Bob is rough. Erin is kind. Fiona is cold. Gary is cold. All cold things are kind.
Bob is not kind.
@0: Bob is rough.[(triple1)] Erin is kind.[(triple2)] Fiona is cold.[(triple3)] Gary is cold.[(triple4)] @1: Fiona is kind.[(((triple3) -> rule1))] Gary is kind.[(((triple4) -> rule1))]