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.
Gary is furry.
@0: Bob is not smart.[(triple1)] Gary is smart.[(triple2)]