Bob is cold. Bob is kind. Charlie is cold. Charlie is furry. Charlie is green. Erin is smart. Gary is cold. If someone is green then they are kind.
Erin is not kind.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Charlie is cold.[(triple3)] Charlie is furry.[(triple4)] Charlie is green.[(triple5)] Erin is smart.[(triple6)] Gary is cold.[(triple7)] @1: Charlie is kind.[(((triple5) -> rule1))]