Charlie is rough. Green, round people are cold. Smart people are round. If someone is rough then they are round. Round people are kind. Round, green people are kind. All round, kind people are smart.
Charlie is round.
@0: Charlie is rough.[(triple1)] @1: Charlie is round.[(((triple1) -> rule3))] @2: Charlie is kind.[(((((triple1) -> rule3)) -> rule4))] @3: Charlie is smart.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule4)) -> rule6))]