Bob is quiet. Bob is smart. Bob is white. All white people are blue.
Bob is white.
@0: Bob is quiet.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3)] @1: Bob is blue.[(((triple3) -> rule1))]