Bob is green. Bob is kind. Bob is red. If Bob is green then Bob is not quiet. If something is nice and not big then it is kind.
Bob is kind.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is red.[(triple3)] @1: Bob is not quiet.[(((triple1) -> rule1))]