Charlie is cold. Charlie is green. Charlie is kind. Charlie is red. Charlie is not rough. Charlie is not smart. Charlie is young. Erin is cold. Erin is not green. Erin is not kind. Erin is red. Erin is rough. Erin is not smart. Erin is young. If Charlie is not green then Charlie is young. If Charlie is not smart then Charlie is cold. If Erin is green then Erin is not young. If Erin is kind then Erin is red. If Erin is smart then Erin is rough. If someone is green and smart then they are not red.
Charlie is kind.
@0: Charlie is cold.[(triple1 OR ((triple6) -> rule2))] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is not rough.[(triple5)] Charlie is not smart.[(triple6)] Charlie is red.[(triple4)] Charlie is young.[(triple7)] Erin is cold.[(triple8)] Erin is not green.[(triple9)] Erin is not kind.[(triple10)] Erin is not smart.[(triple13)] Erin is red.[(triple11)] Erin is rough.[(triple12)] Erin is young.[(triple14)]