Charlie is not blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is rough. Erin is cold. Erin is not green. Erin is nice. Erin is rough. Erin is smart. Erin is young. Harry is not cold. If someone is rough and not green then they are cold. If someone is smart and not green then they are cold. All rough, smart people are cold. If someone is nice and not young then they are smart. If someone is green then they are not smart. Smart people are rough.
Erin is not young.
@0: Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Charlie is not blue.[(triple1)] Charlie is rough.[(triple5)] Erin is cold.[(triple6 OR ((triple10 triple7) -> rule2) OR ((triple9 triple10) -> rule3) OR ((triple9 triple7) -> rule1) OR ((((triple10) -> rule6) triple10) -> rule3) OR ((((triple10) -> rule6) triple7) -> rule1))] Erin is nice.[(triple8)] Erin is not green.[(triple7)] Erin is rough.[(triple9 OR ((triple10) -> rule6))] Erin is smart.[(triple10)] Erin is young.[(triple11)] Harry is not cold.[(triple12)] @1: Charlie is not smart.[(((triple3) -> rule5))]