Anne is furry. Anne is young. Dave is not furry. Dave is green. Dave is kind. Dave is not nice. Dave is not red. Dave is smart. Gary is furry. Gary is smart. Harry is not furry. Harry is green. Smart people are not red. If Harry is kind then Harry is smart. If Dave is furry and Dave is not green then Dave is nice. If Dave is young and Dave is red then Dave is smart. All smart people are young. If Gary is smart and Gary is not furry then Gary is not kind. If Anne is kind and Anne is young then Anne is furry. If Anne is not young then Anne is not kind.
Anne is not young.
@0: Anne is furry.[(triple1)] Anne is young.[(triple2)] Dave is green.[(triple4)] Dave is kind.[(triple5)] Dave is not furry.[(triple3)] Dave is not nice.[(triple6)] Dave is not red.[(triple7 OR ((triple8) -> rule1))] Dave is smart.[(triple8)] Gary is furry.[(triple9)] Gary is smart.[(triple10)] Harry is green.[(triple12)] Harry is not furry.[(triple11)] @1: Dave is young.[(((triple8) -> rule5))] Gary is not red.[(((triple10) -> rule1))] Gary is young.[(((triple10) -> rule5))]