Charlie is not blue. Charlie is green. Charlie is round. Charlie is young. Erin is not blue. Erin is green. Erin is white. Erin is young. Harry is green. Harry is rough. Harry is not round. Harry is white. If something is young and cold then it is white. If Charlie is rough then Charlie is cold. If Charlie is rough then Charlie is white. If Charlie is cold then Charlie is white. If something is blue then it is cold. White things are not blue. Blue, green things are rough. Blue, young things are rough.
Erin is not blue.
@0: Charlie is green.[(triple2)] Charlie is not blue.[(triple1)] Charlie is round.[(triple3)] Charlie is young.[(triple4)] Erin is green.[(triple6)] Erin is not blue.[(triple5 OR ((triple7) -> rule6))] Erin is white.[(triple7)] Erin is young.[(triple8)] Harry is green.[(triple9)] Harry is not round.[(triple11)] Harry is rough.[(triple10)] Harry is white.[(triple12)] @1: Harry is not blue.[(((triple12) -> rule6))]