Charlie is furry. Charlie is kind. Charlie is red. Charlie is smart. Charlie is not young. Harry is big. Harry is kind. Harry is quiet. Harry is red. Harry is smart. If something is young and smart then it is not kind. If Charlie is not big and Charlie is not quiet then Charlie is red. If something is smart and not quiet then it is young. If Charlie is not smart then Charlie is kind. If something is quiet then it is not furry. If Harry is not quiet then Harry is not smart.
Harry is smart.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Charlie is not young.[(triple5)] Charlie is red.[(triple3)] Charlie is smart.[(triple4)] Harry is big.[(triple6)] Harry is kind.[(triple7)] Harry is quiet.[(triple8)] Harry is red.[(triple9)] Harry is smart.[(triple10)] @1: Harry is not furry.[(((triple8) -> rule5))]