Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is smart. Charlie is young. Dave is green. Dave is nice. Dave is quiet. Dave is round. Dave is smart. Dave is young. Harry is furry. Harry is nice. Harry is not quiet. If something is furry and not quiet then it is not round. If Dave is round and Dave is smart then Dave is young. If Charlie is not nice then Charlie is not green.
Charlie is not furry.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Dave is green.[(triple8)] Dave is nice.[(triple9)] Dave is quiet.[(triple10)] Dave is round.[(triple11)] Dave is smart.[(triple12)] Dave is young.[(triple13 OR ((triple11 triple12) -> rule2))] Harry is furry.[(triple14)] Harry is nice.[(triple15)] Harry is not quiet.[(triple16)] @1: Harry is not round.[(((triple14 triple16) -> rule1))]