Bob is quiet. Gary is young. Harry is rough. Quiet things are green. Rough things are round. All young, cold things are rough. All round, green things are nice. Green things are cold. Cold, green things are quiet.
Gary is young.
@0: Bob is quiet.[(triple1)] Gary is young.[(triple2)] Harry is rough.[(triple3)] @1: Bob is green.[(((triple1) -> rule1))] Harry is round.[(((triple3) -> rule2))] @2: Bob is cold.[(((((triple1) -> rule1)) -> rule5))]