Anne is blue. Anne is green. Anne is kind. Anne is quiet. Anne is young. Dave is rough. Dave is white. Dave is young. Harry is blue. Harry is green. Harry is kind. Harry is not quiet. Harry is rough. Harry is white. Harry is young. If something is quiet and not kind then it is young. All blue, white things are young. All quiet things are rough. If something is kind and not white then it is not rough. If Dave is kind then Dave is quiet. Blue things are green. All rough things are green. If something is rough then it is blue.
Dave is kind.
@0: Anne is blue.[(triple1 OR ((((triple4) -> rule3)) -> rule8))] Anne is green.[(triple2 OR ((triple1) -> rule6) OR ((((triple4) -> rule3)) -> rule7) OR ((((((triple4) -> rule3)) -> rule8)) -> rule6))] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is young.[(triple5)] Dave is rough.[(triple6)] Dave is white.[(triple7)] Dave is young.[(triple8 OR ((((triple6) -> rule8) triple7) -> rule2))] Harry is blue.[(triple9 OR ((triple13) -> rule8))] Harry is green.[(triple10 OR ((triple13) -> rule7) OR ((triple9) -> rule6) OR ((((triple13) -> rule8)) -> rule6))] Harry is kind.[(triple11)] Harry is not quiet.[(triple12)] Harry is rough.[(triple13)] Harry is white.[(triple14)] Harry is young.[(triple15 OR ((triple9 triple14) -> rule2) OR ((((triple13) -> rule8) triple14) -> rule2))] @1: Anne is rough.[(((triple4) -> rule3))] Dave is blue.[(((triple6) -> rule8))] Dave is green.[(((triple6) -> rule7) OR ((((triple6) -> rule8)) -> rule6))]