Bob is cold. Bob is furry. Bob is not kind. Bob is red. Bob is rough. Bob is round. Bob is not smart. Kind things are not round. If something is kind then it is cold. If Bob is rough and Bob is kind then Bob is red.
Bob is not rough.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is not kind.[(triple3)] Bob is not smart.[(triple7)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)]