Anne is quiet. Bob is rough. Charlie is nice. Gary is not rough. Nice things are smart. If something is cold and not smart then it is rough. All quiet things are rough.
Gary is young.
@0: Anne is quiet.[(triple1)] Bob is rough.[(triple2)] Charlie is nice.[(triple3)] Gary is not rough.[(triple4)] @1: Anne is rough.[(((triple1) -> rule3))] Charlie is smart.[(((triple3) -> rule1))]