Bob is nice. Bob is round. Bob is white. All round, white things are rough.
Bob is smart.
@0: Bob is nice.[(triple1)] Bob is round.[(triple2)] Bob is white.[(triple3)] @1: Bob is rough.[(((triple2 triple3) -> rule1))]