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.
Charlie is nice.
@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))]