Bob is not cold. Dave is big. Gary is smart. All rough things are big. If Dave is kind then Dave is cold. If Gary is not rough and Gary is not big then Gary is not round.
Dave is not big.
@0: Bob is not cold.[(triple1)] Dave is big.[(triple2)] Gary is smart.[(triple3)]