Bob is smart. Dave is kind. Erin is young. Gary is young. Round, cold people are young. All kind, nice people are smart. Round people are cold. All smart people are round. Nice people are young. Cold, young people are rough. Kind, nice people are rough. Young, smart people are cold.
Gary is rough.
@0: Bob is smart.[(triple1)] Dave is kind.[(triple2)] Erin is young.[(triple3)] Gary is young.[(triple4)] @1: Bob is round.[(((triple1) -> rule4))] @2: Bob is cold.[(((((triple1) -> rule4)) -> rule3))] @3: Bob is young.[(((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule3)) -> rule1))] @4: Bob is rough.[(((((((triple1) -> rule4)) -> rule3) ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule3)) -> rule1)) -> rule6))]