Erin is cold. Erin is red. Gary is kind. Gary is rough. Gary is white. Harry is cold. Harry is red. All white people are green. Red people are white.
Harry is not green.
@0: Erin is cold.[(triple1)] Erin is red.[(triple2)] Gary is kind.[(triple3)] Gary is rough.[(triple4)] Gary is white.[(triple5)] Harry is cold.[(triple6)] Harry is red.[(triple7)] @1: Erin is white.[(((triple2) -> rule2))] Gary is green.[(((triple5) -> rule1))] Harry is white.[(((triple7) -> rule2))] @2: Erin is green.[(((((triple2) -> rule2)) -> rule1))] Harry is green.[(((((triple7) -> rule2)) -> rule1))]