Charlie is cold. Charlie is green. Charlie is rough. Charlie is smart. Harry is cold. Harry is not green. Harry is kind. Harry is not red. Harry is smart. Harry is young. All young people are smart. If Charlie is young and Charlie is not cold then Charlie is not smart.
Harry is not rough.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is rough.[(triple3)] Charlie is smart.[(triple4)] Harry is cold.[(triple5)] Harry is kind.[(triple7)] Harry is not green.[(triple6)] Harry is not red.[(triple8)] Harry is smart.[(triple9 OR ((triple10) -> rule1))] Harry is young.[(triple10)]