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