Anne is round. Bob is quiet. Dave is blue. Rough, cold things are blue. If Anne is cold and Anne is blue then Anne is not furry. Furry things are round. If Dave is quiet and Dave is cold then Dave is round. If Dave is furry then Dave is not young. If something is rough and not furry then it is not young. If Bob is furry and Bob is not blue then Bob is round. If Dave is young and Dave is round then Dave is blue.
Bob is not blue.
@0: Anne is round.[(triple1)] Bob is quiet.[(triple2)] Dave is blue.[(triple3)]