Bob is not blue. Erin is furry. Gary is cold. If someone is furry then they are not smart. If Gary is not furry then Gary is not smart. If someone is young and not furry then they are nice.
Erin is not nice.
@0: Bob is not blue.[(triple1)] Erin is furry.[(triple2)] Gary is cold.[(triple3)] @1: Erin is not smart.[(((triple2) -> rule1))]