Bob is green. If Bob is round then Bob is nice. If Bob is cold and Bob is smart then Bob is young. All furry, green people are nice. If Bob is young and Bob is nice then Bob is cold. All furry, round people are smart. All young people are round.
Bob is not smart.
@0: Bob is green.[(triple1)]