Charlie is blue. Charlie is green. Charlie is red. Charlie is rough. Harry is green. Harry is nice. Harry is quiet. Harry is red. Harry is rough. Harry is smart. If someone is green and not red then they are not rough. If someone is smart then they are green.
Harry is smart.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Harry is green.[(triple5 OR ((triple10) -> rule2))] Harry is nice.[(triple6)] Harry is quiet.[(triple7)] Harry is red.[(triple8)] Harry is rough.[(triple9)] Harry is smart.[(triple10)]