Bob is cold. Bob is red. Charlie is young. If someone is green and not nice then they are cold. If Charlie is not cold then Charlie is red.
Bob is not red.
@0: Bob is cold.[(triple1)] Bob is red.[(triple2)] Charlie is young.[(triple3)]