Bob is cold. Bob is nice. Bob is quiet. Bob is rough. Bob is round. Gary is cold. Gary is quiet. If Bob is round and Bob is smart then Bob is quiet.
Bob is not smart.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Gary is cold.[(triple6)] Gary is quiet.[(triple7)]