Bob is blue. Bob is nice. Bob is not white. Kind, big things are nice. Blue, nice things are big.
Bob is not nice.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Bob is not white.[(triple3)] @1: Bob is big.[(((triple1 triple2) -> rule2))]