Charlie is round. Round people are blue. If someone is round and blue then they are furry.
Charlie is not rough.
@0: Charlie is round.[(triple1)] @1: Charlie is blue.[(((triple1) -> rule1))] @2: Charlie is furry.[(((triple1 ((triple1) -> rule1)) -> rule2))]