Bob is blue. Bob is smart. Erin is smart. Gary is blue. Gary is kind. Gary is smart. Harry is white. All smart, red people are blue. All white people are kind. All kind, red people are quiet.
Erin is white.
@0: Bob is blue.[(triple1)] Bob is smart.[(triple2)] Erin is smart.[(triple3)] Gary is blue.[(triple4)] Gary is kind.[(triple5)] Gary is smart.[(triple6)] Harry is white.[(triple7)] @1: Harry is kind.[(((triple7) -> rule2))]