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