Bob is not cold. Bob is green. Bob is kind. Bob is not quiet. Bob is red. Bob is white. Gary is blue. Gary is cold. Gary is green. Gary is not kind. Gary is red. Gary is not white. If Bob is not red then Bob is not kind. If Bob is white then Bob is kind. All cold people are quiet. If Gary is red and Gary is white then Gary is kind. If Gary is not cold then Gary is blue. If someone is cold and not quiet then they are not green.
Gary is white.
@0: Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple6) -> rule2))] Bob is not cold.[(triple1)] Bob is not quiet.[(triple4)] Bob is red.[(triple5)] Bob is white.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is green.[(triple9)] Gary is not kind.[(triple10)] Gary is not white.[(triple12)] Gary is red.[(triple11)] @1: Gary is quiet.[(((triple8) -> rule3))]