Anne is green. Anne is quiet. Anne is not red. Anne is rough. Anne is round. Anne is not smart. Anne is young. Charlie is green. Charlie is not quiet. Charlie is not red. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. If someone is round and not green then they are not young. If someone is round and not green then they are red. Smart people are round. If Anne is round and Anne is rough then Anne is young. If Charlie is rough and Charlie is not smart then Charlie is not young. Smart people are rough.
Anne is quiet.
@0: Anne is green.[(triple1)] Anne is not red.[(triple3)] Anne is not smart.[(triple6)] Anne is quiet.[(triple2)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is young.[(triple7 OR ((triple5 triple4) -> rule4))] Charlie is green.[(triple8)] Charlie is not quiet.[(triple9)] Charlie is not red.[(triple10)] Charlie is rough.[(triple11 OR ((triple13) -> rule6))] Charlie is round.[(triple12 OR ((triple13) -> rule3))] Charlie is smart.[(triple13)] Charlie is young.[(triple14)]