Bob is cold. Bob is white. Gary is quiet. Blue people are smart. If someone is quiet and cold then they are smart. All green people are furry. If someone is white and blue then they are smart. If Gary is white and Gary is blue then Gary is quiet. If Gary is green and Gary is blue then Gary is quiet.
Gary is not smart.
@0: Bob is cold.[(triple1)] Bob is white.[(triple2)] Gary is quiet.[(triple3)]