Dave is not big. Dave is not cold. Dave is round. If Dave is nice and Dave is not quiet then Dave is not rough. If someone is rough and nice then they are big. If someone is big then they are nice.
Dave is not nice.
@0: Dave is not big.[(triple1)] Dave is not cold.[(triple2)] Dave is round.[(triple3)]