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