Bob is not cold. Bob is furry. Bob is kind. Bob is nice. Bob is red. Bob is not rough. Bob is white. If Bob is not kind then Bob is white. All rough people are nice.
Bob is not cold.
@0: Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is not cold.[(triple1)] Bob is not rough.[(triple6)] Bob is red.[(triple5)] Bob is white.[(triple7)]