Anne is red. Bob is round. Bob is young. If something is big then it is not quiet. If something is quiet then it is not nice. If something is round then it is smart.
Bob is not young.
@0: Anne is red.[(triple1)] Bob is round.[(triple2)] Bob is young.[(triple3)] @1: Bob is smart.[(((triple2) -> rule3))]