Charlie is green. Charlie is rough. Charlie is white. Charlie is not young. Erin is green. Erin is kind. Erin is white. Erin is young. Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is rough. Fiona is white. Fiona is young. Young things are green. If something is kind and not cold then it is not green.
Erin is not white.
@0: Charlie is green.[(triple1)] Charlie is not young.[(triple4)] Charlie is rough.[(triple2)] Charlie is white.[(triple3)] Erin is green.[(triple5 OR ((triple8) -> rule1))] Erin is kind.[(triple6)] Erin is white.[(triple7)] Erin is young.[(triple8)] Fiona is blue.[(triple9)] Fiona is cold.[(triple10)] Fiona is green.[(triple11 OR ((triple15) -> rule1))] Fiona is kind.[(triple12)] Fiona is rough.[(triple13)] Fiona is white.[(triple14)] Fiona is young.[(triple15)]