Bob is kind. Bob is nice. Bob is white. Charlie is cold. Charlie is green. Charlie is kind. Charlie is nice. Charlie is white. Charlie is young. Fiona is blue. Fiona is nice. Gary is blue. Gary is cold. Gary is green. Gary is kind. Gary is white. If Bob is young and Bob is kind then Bob is cold.
Bob is not cold.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Bob is white.[(triple3)] Charlie is cold.[(triple4)] Charlie is green.[(triple5)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7)] Charlie is white.[(triple8)] Charlie is young.[(triple9)] Fiona is blue.[(triple10)] Fiona is nice.[(triple11)] Gary is blue.[(triple12)] Gary is cold.[(triple13)] Gary is green.[(triple14)] Gary is kind.[(triple15)] Gary is white.[(triple16)]