Charlie is blue. Charlie is green. Charlie is kind. Charlie is white. Charlie is not young. Dave is cold. Dave is young. Erin is cold. Erin is green. Erin is kind. Erin is round. Erin is young. Harry is green. Harry is kind. Harry is not round. Harry is young. If Charlie is young then Charlie is blue. All blue, round people are not white.
Dave is not round.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is not young.[(triple5)] Charlie is white.[(triple4)] Dave is cold.[(triple6)] Dave is young.[(triple7)] Erin is cold.[(triple8)] Erin is green.[(triple9)] Erin is kind.[(triple10)] Erin is round.[(triple11)] Erin is young.[(triple12)] Harry is green.[(triple13)] Harry is kind.[(triple14)] Harry is not round.[(triple15)] Harry is young.[(triple16)]