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.
Bob is big.
@0: Bob is quiet.[(triple1)] Bob is white.[(triple2)] Dave is smart.[(triple3)] @1: Bob is young.[(((triple2) -> rule1))]