Bob is kind. Bob is not nice. Bob is round. Kind things are blue.
Bob is not kind.
@0: Bob is kind.[(triple1)] Bob is not nice.[(triple2)] Bob is round.[(triple3)] @1: Bob is blue.[(((triple1) -> rule1))]