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.
Gary is big.
@0: Bob is round.[(triple1)] Dave is not cold.[(triple2)] Gary is smart.[(triple3)]