Bob is quiet. Bob is white. Dave is smart. If something is white then it is young. If something is round and young then it is quiet.
Dave is not smart.
@0: Bob is quiet.[(triple1)] Bob is white.[(triple2)] Dave is smart.[(triple3)] @1: Bob is young.[(((triple2) -> rule1))]