Charlie is cold. Charlie is nice. Erin is rough. Erin is round. Gary is rough. Gary is round. Gary is smart. Round people are nice. If someone is green then they are nice. Nice people are green.
Gary is not rough.
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple2)] Erin is rough.[(triple3)] Erin is round.[(triple4)] Gary is rough.[(triple5)] Gary is round.[(triple6)] Gary is smart.[(triple7)] @1: Charlie is green.[(((triple2) -> rule3))] Erin is nice.[(((triple4) -> rule1))] Gary is nice.[(((triple6) -> rule1))] @2: Erin is green.[(((((triple4) -> rule1)) -> rule3))] Gary is green.[(((((triple6) -> rule1)) -> rule3))]