Anne is blue. Anne is kind. Anne is not quiet. Anne is round. Bob is blue. Bob is kind. Bob is round. Bob is young. Charlie is kind. Charlie is round. Charlie is not young. Harry is furry. Harry is kind. Harry is round. Harry is white. If something is round and not white then it is quiet. All white, blue things are quiet. Round things are kind. All quiet, young things are round. All white things are blue. If something is quiet and round then it is not young.
Harry is not quiet.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2 OR ((triple4) -> rule3))] Anne is not quiet.[(triple3)] Anne is round.[(triple4)] Bob is blue.[(triple5)] Bob is kind.[(triple6 OR ((triple7) -> rule3))] Bob is round.[(triple7)] Bob is young.[(triple8)] Charlie is kind.[(triple9 OR ((triple10) -> rule3))] Charlie is not young.[(triple11)] Charlie is round.[(triple10)] Harry is furry.[(triple12)] Harry is kind.[(triple13 OR ((triple14) -> rule3))] Harry is round.[(triple14)] Harry is white.[(triple15)] @1: Harry is blue.[(((triple15) -> rule5))] @2: Harry is quiet.[(((triple15 ((triple15) -> rule5)) -> rule2))] @3: Harry is not young.[(((((triple15 ((triple15) -> rule5)) -> rule2) triple14) -> rule6))]