Charlie is blue. Charlie is furry. Charlie is green. Charlie is nice. Charlie is rough. Charlie is smart. Charlie is white. Erin is blue. Erin is green. Erin is rough. Erin is not smart. Erin is white. Harry is blue. Harry is nice. Harry is not rough. Harry is not white. Rough, nice things are smart.
Erin is smart.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6 OR ((triple5 triple4) -> rule1))] Charlie is white.[(triple7)] Erin is blue.[(triple8)] Erin is green.[(triple9)] Erin is not smart.[(triple11)] Erin is rough.[(triple10)] Erin is white.[(triple12)] Harry is blue.[(triple13)] Harry is nice.[(triple14)] Harry is not rough.[(triple15)] Harry is not white.[(triple16)]