Anne is quiet. Anne is red. Anne is rough. Anne is not round. Anne is not smart. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Fiona is green. Fiona is nice. Fiona is not quiet. Fiona is red. Fiona is rough. Fiona is not round. If someone is nice and not smart then they are rough. If Charlie is green then Charlie is round.
Charlie is not rough.
@0: Anne is not round.[(triple4)] Anne is not smart.[(triple5)] Anne is quiet.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Charlie is green.[(triple6)] Charlie is nice.[(triple7)] Charlie is quiet.[(triple8)] Charlie is red.[(triple9)] Charlie is round.[(triple10 OR ((triple6) -> rule2))] Fiona is green.[(triple11)] Fiona is nice.[(triple12)] Fiona is not quiet.[(triple13)] Fiona is not round.[(triple16)] Fiona is red.[(triple14)] Fiona is rough.[(triple15)]