Anne is red. Bob is cold. Bob is red. Bob is not young. Charlie is red. Charlie is young. Harry is not young. Kind people are not cold. All green people are young.
Bob is young.
@0: Anne is red.[(triple1)] Bob is cold.[(triple2)] Bob is not young.[(triple4)] Bob is red.[(triple3)] Charlie is red.[(triple5)] Charlie is young.[(triple6)] Harry is not young.[(triple7)]