Charlie is furry. Charlie is kind. Charlie is not smart. Charlie is young. Dave is cold. Dave is furry. Dave is kind. Gary is cold. Gary is young. Harry is cold. Harry is not furry. Harry is kind. Harry is quiet. Harry is not round. Harry is smart. Harry is not young. Furry, round things are cold. If Charlie is young and Charlie is not furry then Charlie is smart. If something is smart and not cold then it is young. All round, furry things are not young. All young things are kind. If something is smart and young then it is kind. If Charlie is not young and Charlie is not round then Charlie is quiet. If Harry is not young and Harry is not cold then Harry is kind.
Dave is smart.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2 OR ((triple4) -> rule5))] Charlie is not smart.[(triple3)] Charlie is young.[(triple4)] Dave is cold.[(triple5)] Dave is furry.[(triple6)] Dave is kind.[(triple7)] Gary is cold.[(triple8)] Gary is young.[(triple9)] Harry is cold.[(triple10)] Harry is kind.[(triple12)] Harry is not furry.[(triple11)] Harry is not round.[(triple14)] Harry is not young.[(triple16)] Harry is quiet.[(triple13)] Harry is smart.[(triple15)] @1: Gary is kind.[(((triple9) -> rule5))]