Dave is big. Dave is blue. Dave is cold. Dave is kind. Dave is nice. Dave is quiet. Dave is smart. Gary is not big. Gary is blue. Gary is cold. Gary is not kind. Gary is nice. Gary is quiet. Gary is smart. If something is big and not cold then it is not quiet. If something is nice and not smart then it is kind. If Gary is kind and Gary is smart then Gary is blue.
Dave is not cold.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is cold.[(triple3)] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Dave is quiet.[(triple6)] Dave is smart.[(triple7)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is nice.[(triple12)] Gary is not big.[(triple8)] Gary is not kind.[(triple11)] Gary is quiet.[(triple13)] Gary is smart.[(triple14)]