Anne is rough. Bob is rough. Green, young things are smart. All quiet, red things are smart. All rough things are green.
Bob is big.
@0: Anne is rough.[(triple1)] Bob is rough.[(triple2)] @1: Anne is green.[(((triple1) -> rule3))] Bob is green.[(((triple2) -> rule3))]