Anne is kind. Anne is not smart. Anne is young. Bob is blue. Bob is kind. Bob is not red. Bob is not rough. Bob is smart. Bob is white. Bob is young. Gary is not kind. Gary is red. If Bob is blue and Bob is red then Bob is rough. If Gary is kind and Gary is not red then Gary is young.
Gary is blue.
@0: Anne is kind.[(triple1)] Anne is not smart.[(triple2)] Anne is young.[(triple3)] Bob is blue.[(triple4)] Bob is kind.[(triple5)] Bob is not red.[(triple6)] Bob is not rough.[(triple7)] Bob is smart.[(triple8)] Bob is white.[(triple9)] Bob is young.[(triple10)] Gary is not kind.[(triple11)] Gary is red.[(triple12)]