Bob is round. Charlie is green. Harry is quiet. All young things are nice. If something is green then it is red. All green, red things are young.
Charlie is not green.
@0: Bob is round.[(triple1)] Charlie is green.[(triple2)] Harry is quiet.[(triple3)] @1: Charlie is red.[(((triple2) -> rule2))] @2: Charlie is young.[(((triple2 ((triple2) -> rule2)) -> rule3))] @3: Charlie is nice.[(((((triple2 ((triple2) -> rule2)) -> rule3)) -> rule1))]