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