Dave is cold. Dave is green. Dave is not red. Dave is rough. Dave is young. Erin is blue. Erin is cold. Erin is not green. Erin is red. Harry is blue. Harry is green. Harry is not red. If Erin is rough and Erin is cold then Erin is not green.
Erin is young.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is not red.[(triple3)] Dave is rough.[(triple4)] Dave is young.[(triple5)] Erin is blue.[(triple6)] Erin is cold.[(triple7)] Erin is not green.[(triple8)] Erin is red.[(triple9)] Harry is blue.[(triple10)] Harry is green.[(triple11)] Harry is not red.[(triple12)]