Bob is quiet. If something is quiet and not young then it is round. If something is quiet then it is round. Blue things are not green.
Bob is not quiet.
@0: Bob is quiet.[(triple1)] @1: Bob is round.[(((triple1) -> rule2))]