Charlie is young. Dave is kind. Harry is young. All young, round people are blue. If someone is blue then they are green. All young people are round.
Charlie is not rough.
@0: Charlie is young.[(triple1)] Dave is kind.[(triple2)] Harry is young.[(triple3)] @1: Charlie is round.[(((triple1) -> rule3))] Harry is round.[(((triple3) -> rule3))] @2: Charlie is blue.[(((triple1 ((triple1) -> rule3)) -> rule1))] Harry is blue.[(((triple3 ((triple3) -> rule3)) -> rule1))] @3: Charlie is green.[(((((triple1 ((triple1) -> rule3)) -> rule1)) -> rule2))] Harry is green.[(((((triple3 ((triple3) -> rule3)) -> rule1)) -> rule2))]