Bob is big. Bob is green. Bob is not red. All red people are not young. If Bob is not young and Bob is not red then Bob is green.
Bob is not kind.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is not red.[(triple3)]