Bob is rough. Charlie is kind. Erin is blue. Erin is red. Erin is smart. Gary is blue. Gary is kind. Kind people are nice.
Bob is kind.
@0: Bob is rough.[(triple1)] Charlie is kind.[(triple2)] Erin is blue.[(triple3)] Erin is red.[(triple4)] Erin is smart.[(triple5)] Gary is blue.[(triple6)] Gary is kind.[(triple7)] @1: Charlie is nice.[(((triple2) -> rule1))] Gary is nice.[(((triple7) -> rule1))]