Bob is cold. Dave is blue. Erin is kind. Gary is not blue. If someone is kind then they are furry. Green people are furry. If Dave is furry then Dave is green. If Gary is round and Gary is kind then Gary is smart. If someone is smart then they are green. Cold, blue people are not green.
Bob is not cold.
@0: Bob is cold.[(triple1)] Dave is blue.[(triple2)] Erin is kind.[(triple3)] Gary is not blue.[(triple4)] @1: Erin is furry.[(((triple3) -> rule1))]