Bob is nice. Bob is quiet. Bob is smart. If someone is nice and big then they are smart. If someone is cold and smart then they are rough. Rough, cold people are quiet. All cold, quiet people are nice. If someone is blue then they are cold. If Bob is nice and Bob is blue then Bob is cold.
Bob is not smart.
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2)] Bob is smart.[(triple3)]