Anne is green. Anne is kind. Anne is quiet. Anne is rough. Anne is smart. Anne is young. Charlie is blue. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is smart. Charlie is young. Fiona is rough. Harry is blue. Harry is young. All smart things are blue. All green things are rough. Blue things are green. Rough things are quiet. All blue, green things are quiet. If something is kind then it is quiet.
Charlie is not young.
@0: Anne is green.[(triple1 OR ((((triple5) -> rule1)) -> rule3))] Anne is kind.[(triple2)] Anne is quiet.[(triple3 OR ((triple2) -> rule6) OR ((triple4) -> rule4) OR ((((triple1) -> rule2)) -> rule4) OR ((((triple5) -> rule1) triple1) -> rule5) OR ((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule3)) -> rule5) OR ((((((((triple5) -> rule1)) -> rule3)) -> rule2)) -> rule4))] Anne is rough.[(triple4 OR ((triple1) -> rule2) OR ((((((triple5) -> rule1)) -> rule3)) -> rule2))] Anne is smart.[(triple5)] Anne is young.[(triple6)] Charlie is blue.[(triple7 OR ((triple11) -> rule1))] Charlie is green.[(triple8 OR ((triple7) -> rule3) OR ((((triple11) -> rule1)) -> rule3))] Charlie is kind.[(triple9)] Charlie is quiet.[(triple10 OR ((triple9) -> rule6) OR ((triple7 triple8) -> rule5) OR ((((triple8) -> rule2)) -> rule4) OR ((triple7 ((triple7) -> rule3)) -> rule5) OR ((((triple11) -> rule1) triple8) -> rule5) OR ((((triple11) -> rule1) ((triple7) -> rule3)) -> rule5) OR ((((((triple7) -> rule3)) -> rule2)) -> rule4) OR ((triple7 ((((triple11) -> rule1)) -> rule3)) -> rule5) OR ((((triple11) -> rule1) ((((triple11) -> rule1)) -> rule3)) -> rule5) OR ((((((((triple11) -> rule1)) -> rule3)) -> rule2)) -> rule4))] Charlie is smart.[(triple11)] Charlie is young.[(triple12)] Fiona is rough.[(triple13)] Harry is blue.[(triple14)] Harry is young.[(triple15)] @1: Anne is blue.[(((triple5) -> rule1))] Charlie is rough.[(((triple8) -> rule2) OR ((((triple7) -> rule3)) -> rule2) OR ((((((triple11) -> rule1)) -> rule3)) -> rule2))] Fiona is quiet.[(((triple13) -> rule4))] Harry is green.[(((triple14) -> rule3))] @2: Harry is quiet.[(((triple14 ((triple14) -> rule3)) -> rule5) OR ((((((triple14) -> rule3)) -> rule2)) -> rule4))] Harry is rough.[(((((triple14) -> rule3)) -> rule2))]