Charlie is young. Dave is furry. Gary is rough. If Charlie is furry and Charlie is round then Charlie is not nice. Young things are round. All round, young things are furry. All quiet things are furry. If something is quiet and kind then it is rough. If something is furry and not young then it is kind.
Dave is young.
@0: Charlie is young.[(triple1)] Dave is furry.[(triple2)] Gary is rough.[(triple3)] @1: Charlie is round.[(((triple1) -> rule2))] @2: Charlie is furry.[(((((triple1) -> rule2) triple1) -> rule3))] @3: Charlie is not nice.[(((((((triple1) -> rule2) triple1) -> rule3) ((triple1) -> rule2)) -> rule1))]