Charlie is rough. Rough things are red. Quiet things are not blue. If Charlie is red then Charlie is furry.
Charlie is not round.
@0: Charlie is rough.[(triple1)] @1: Charlie is red.[(((triple1) -> rule1))] @2: Charlie is furry.[(((((triple1) -> rule1)) -> rule3))]