Bob is blue. Erin is young. Gary is not kind. Harry is blue. If Gary is young and Gary is blue then Gary is smart. If something is young and not white then it is not rough. Smart, green things are not rough. Young things are kind. If something is green then it is blue. If something is smart and not young then it is not green.
Gary is white.
@0: Bob is blue.[(triple1)] Erin is young.[(triple2)] Gary is not kind.[(triple3)] Harry is blue.[(triple4)] @1: Erin is kind.[(((triple2) -> rule4))]