Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is not smart. Bob is young. Gary is green. Gary is quiet. Gary is not red. Gary is white. If something is green and not young then it is white. If Bob is smart then Bob is not red.
Gary is not white.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is not smart.[(triple5)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is young.[(triple6)] Gary is green.[(triple7)] Gary is not red.[(triple9)] Gary is quiet.[(triple8)] Gary is white.[(triple10)]