Bob is cold. Charlie is quiet. Young, round things are cold. If Charlie is round then Charlie is kind. Quiet things are round.
Charlie is quiet.
@0: Bob is cold.[(triple1)] Charlie is quiet.[(triple2)] @1: Charlie is round.[(((triple2) -> rule3))] @2: Charlie is kind.[(((((triple2) -> rule3)) -> rule2))]