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