Bob is furry. Bob is kind. Bob is not smart. Gary is big. Gary is furry. Gary is not kind. Gary is white. If Gary is furry and Gary is kind then Gary is red.
Gary is white.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is not smart.[(triple3)] Gary is big.[(triple4)] Gary is furry.[(triple5)] Gary is not kind.[(triple6)] Gary is white.[(triple7)]