Anne is green. Anne is quiet. Anne is young. Charlie is quiet. Charlie is young. Erin is kind. Erin is not quiet. Harry is not big. Harry is green. Harry is kind. Harry is quiet. Harry is white. If Anne is kind then Anne is not white. If Charlie is not big then Charlie is not green. Big, kind things are not young. If Anne is white and Anne is not round then Anne is green. If Erin is green then Erin is kind. If something is round and not white then it is quiet.
Harry is not kind.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Anne is young.[(triple3)] Charlie is quiet.[(triple4)] Charlie is young.[(triple5)] Erin is kind.[(triple6)] Erin is not quiet.[(triple7)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is not big.[(triple8)] Harry is quiet.[(triple11)] Harry is white.[(triple12)]