Anne is nice. Anne is young. Charlie is furry. Dave is furry. Dave is nice. Dave is rough. Dave is white. Dave is young. Harry is nice. Harry is quiet. If Charlie is white then Charlie is not rough. Furry people are young. If Anne is furry and Anne is nice then Anne is young. If someone is nice then they are rough. If someone is kind then they are quiet. If someone is young and not rough then they are kind. If someone is furry and not nice then they are kind. If someone is young then they are kind.
Harry is not young.
@0: Anne is nice.[(triple1)] Anne is young.[(triple2)] Charlie is furry.[(triple3)] Dave is furry.[(triple4)] Dave is nice.[(triple5)] Dave is rough.[(triple6 OR ((triple5) -> rule4))] Dave is white.[(triple7)] Dave is young.[(triple8 OR ((triple4) -> rule2))] Harry is nice.[(triple9)] Harry is quiet.[(triple10)] @1: Anne is kind.[(((triple2) -> rule8))] Anne is rough.[(((triple1) -> rule4))] Charlie is young.[(((triple3) -> rule2))] Dave is kind.[(((triple8) -> rule8) OR ((((triple4) -> rule2)) -> rule8))] Harry is rough.[(((triple9) -> rule4))] @2: Anne is quiet.[(((((triple2) -> rule8)) -> rule5))] Charlie is kind.[(((((triple3) -> rule2)) -> rule8))] Dave is quiet.[(((((triple8) -> rule8)) -> rule5) OR ((((((triple4) -> rule2)) -> rule8)) -> rule5))] @3: Charlie is quiet.[(((((((triple3) -> rule2)) -> rule8)) -> rule5))]