Bob is cold. Erin is furry. Gary is white. Harry is cold. All white, red people are smart. If Harry is smart and Harry is white then Harry is nice. All white, cold people are young. All nice people are white. All smart, cold people are white. All cold people are red.
Gary is not red.
@0: Bob is cold.[(triple1)] Erin is furry.[(triple2)] Gary is white.[(triple3)] Harry is cold.[(triple4)] @1: Bob is red.[(((triple1) -> rule6))] Harry is red.[(((triple4) -> rule6))]