Anne is green. Anne is not quiet. Anne is white. Anne is young. Charlie is blue. Charlie is green. Charlie is quiet. Charlie is smart. Charlie is white. Charlie is young. Fiona is green. Fiona is young. Harry is blue. Harry is green. Harry is young. If Charlie is young then Charlie is smart. If something is young and not white then it is blue. If something is blue and not white then it is kind. If something is blue and not white then it is smart. If something is smart and kind then it is young. If something is green and not smart then it is quiet.
Anne is not white.
@0: Anne is green.[(triple1)] Anne is not quiet.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Charlie is blue.[(triple5)] Charlie is green.[(triple6)] Charlie is quiet.[(triple7)] Charlie is smart.[(triple8 OR ((triple10) -> rule1))] Charlie is white.[(triple9)] Charlie is young.[(triple10)] Fiona is green.[(triple11)] Fiona is young.[(triple12)] Harry is blue.[(triple13)] Harry is green.[(triple14)] Harry is young.[(triple15)]