Bob is not smart. Gary is smart. If Bob is quiet and Bob is not rough then Bob is not smart. If something is smart and not blue then it is quiet.
Bob is not quiet.
@0: Bob is not smart.[(triple1)] Gary is smart.[(triple2)]