Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Charlie is rough. Erin is green. Erin is rough. Young people are green. If someone is green and rough then they are cold. If someone is blue then they are kind.
Charlie is not rough.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((triple3 triple5) -> rule2))] Charlie is green.[(triple3)] Charlie is kind.[(triple4 OR ((triple1) -> rule3))] Charlie is rough.[(triple5)] Erin is green.[(triple6)] Erin is rough.[(triple7)] @1: Erin is cold.[(((triple6 triple7) -> rule2))]