Charlie is furry. Furry people are blue. Furry people are round. Round people are red. If someone is blue and red then they are nice. Nice people are furry. If someone is red and not nice then they are big.
Charlie is not furry.
@0: Charlie is furry.[(triple1)] @1: Charlie is blue.[(((triple1) -> rule1))] Charlie is round.[(((triple1) -> rule2))] @2: Charlie is red.[(((((triple1) -> rule2)) -> rule3))] @3: Charlie is nice.[(((((triple1) -> rule1) ((((triple1) -> rule2)) -> rule3)) -> rule4))]