Dave is red. Erin is cold. Gary is young. Harry is not young. If something is round then it is kind. If Harry is rough and Harry is not cold then Harry is young.
Dave is round.
@0: Dave is red.[(triple1)] Erin is cold.[(triple2)] Gary is young.[(triple3)] Harry is not young.[(triple4)]