Bob is nice. If something is nice then it is smart. Smart things are red. Quiet things are big.
Bob is not quiet.
@0: Bob is nice.[(triple1)] @1: Bob is smart.[(((triple1) -> rule1))] @2: Bob is red.[(((((triple1) -> rule1)) -> rule2))]