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