Bob is big. Bob is cold. Bob is not kind. Bob is not nice. Bob is quiet. Bob is not rough. Bob is round. Gary is big. Gary is cold. Gary is kind. Gary is nice. Gary is not quiet. Gary is rough. Gary is round. If Gary is not kind then Gary is cold. If Bob is not big then Bob is cold.
Gary is kind.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is not kind.[(triple3)] Bob is not nice.[(triple4)] Bob is not rough.[(triple6)] Bob is quiet.[(triple5)] Bob is round.[(triple7)] Gary is big.[(triple8)] Gary is cold.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is not quiet.[(triple12)] Gary is rough.[(triple13)] Gary is round.[(triple14)]