Anne is quiet. Charlie is round. Dave is quiet. Harry is young. All kind, nice things are young. If something is rough and kind then it is round. If something is quiet and blue then it is rough. Nice, quiet things are rough. Round things are nice. Nice things are kind.
Anne is round.
@0: Anne is quiet.[(triple1)] Charlie is round.[(triple2)] Dave is quiet.[(triple3)] Harry is young.[(triple4)] @1: Charlie is nice.[(((triple2) -> rule5))] @2: Charlie is kind.[(((((triple2) -> rule5)) -> rule6))] @3: Charlie is young.[(((((((triple2) -> rule5)) -> rule6) ((triple2) -> rule5)) -> rule1))]