Bob is big. Bob is not cold. Bob is furry. Bob is not kind. Bob is quiet. Bob is rough. Bob is smart. If Bob is cold then Bob is furry. Kind, cold people are smart. If Bob is cold and Bob is not furry then Bob is kind.
Bob is cold.
@0: Bob is big.[(triple1)] Bob is furry.[(triple3)] Bob is not cold.[(triple2)] Bob is not kind.[(triple4)] Bob is quiet.[(triple5)] Bob is rough.[(triple6)] Bob is smart.[(triple7)]