Bob is blue. All nice things are quiet. Quiet things are cold. Quiet things are round. All blue, quiet things are round. All round things are blue. If Bob is cold and Bob is nice then Bob is round.
Bob is not blue.
@0: Bob is blue.[(triple1)]