Bob is quiet. Charlie is rough. Erin is rough. Harry is big. Big, rough people are quiet. All kind, rough people are round. All kind people are quiet. All big people are round. Round people are young. If Bob is nice then Bob is young. All nice, big people are young. Young, round people are quiet.
Harry is round.
@0: Bob is quiet.[(triple1)] Charlie is rough.[(triple2)] Erin is rough.[(triple3)] Harry is big.[(triple4)] @1: Harry is round.[(((triple4) -> rule4))] @2: Harry is young.[(((((triple4) -> rule4)) -> rule5))] @3: Harry is quiet.[(((((((triple4) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule8))]