Bob is kind. Dave is cold. Erin is not round. Gary is round. If Dave is kind then Dave is young. If Dave is furry and Dave is round then Dave is young. All white people are not kind.
Dave is not young.
@0: Bob is kind.[(triple1)] Dave is cold.[(triple2)] Erin is not round.[(triple3)] Gary is round.[(triple4)]