Anne is blue. Anne is not furry. Anne is kind. Anne is nice. Anne is smart. Charlie is not cold. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is round. Charlie is not smart. Harry is not blue. Harry is cold. Harry is not furry. Harry is not round. Harry is smart. If Anne is cold and Anne is nice then Anne is blue. Cold, nice things are kind. If Charlie is cold and Charlie is round then Charlie is not blue. If Charlie is smart then Charlie is blue. If Anne is round then Anne is kind. If Anne is nice then Anne is smart. If Charlie is furry and Charlie is cold then Charlie is not smart. If something is kind and not nice then it is smart.
Anne is round.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is not furry.[(triple2)] Anne is smart.[(triple5 OR ((triple4) -> rule6))] Charlie is furry.[(triple7)] Charlie is kind.[(triple8)] Charlie is nice.[(triple9)] Charlie is not cold.[(triple6)] Charlie is not smart.[(triple11)] Charlie is round.[(triple10)] Harry is cold.[(triple13)] Harry is not blue.[(triple12)] Harry is not furry.[(triple14)] Harry is not round.[(triple15)] Harry is smart.[(triple16)]