Charlie is not cold. Charlie is not furry. Charlie is green. Charlie is not nice. Charlie is quiet. Charlie is not rough. Charlie is smart. Harry is not cold. Harry is not furry. Harry is not green. Harry is nice. Harry is not quiet. Harry is rough. Harry is not smart. Smart things are not furry.
Charlie is not furry.
@0: Charlie is green.[(triple3)] Charlie is not cold.[(triple1)] Charlie is not furry.[(triple2 OR ((triple7) -> rule1))] Charlie is not nice.[(triple4)] Charlie is not rough.[(triple6)] Charlie is quiet.[(triple5)] Charlie is smart.[(triple7)] Harry is nice.[(triple11)] Harry is not cold.[(triple8)] Harry is not furry.[(triple9)] Harry is not green.[(triple10)] Harry is not quiet.[(triple12)] Harry is not smart.[(triple14)] Harry is rough.[(triple13)]