Bob is blue. All blue people are kind. If Bob is white then Bob is kind. Kind people are not rough.
Bob is not young.
@0: Bob is blue.[(triple1)] @1: Bob is kind.[(((triple1) -> rule1))] @2: Bob is not rough.[(((((triple1) -> rule1)) -> rule3))]