Bob is quiet. If Bob is furry and Bob is young then Bob is blue. If Bob is furry and Bob is not young then Bob is red. Red things are not rough. Smart, young things are red. Furry, smart things are red. Rough things are smart.
Bob is not red.
@0: Bob is quiet.[(triple1)]