Anne is smart. Anne is young. Bob is rough. Charlie is blue. Charlie is nice. Charlie is rough. Charlie is young. Smart, blue things are nice. Cold things are nice. All young, smart things are rough.
Anne is rough.
@0: Anne is smart.[(triple1)] Anne is young.[(triple2)] Bob is rough.[(triple3)] Charlie is blue.[(triple4)] Charlie is nice.[(triple5)] Charlie is rough.[(triple6)] Charlie is young.[(triple7)] @1: Anne is rough.[(((triple2 triple1) -> rule3))]