Anne is quiet. Anne is rough. Anne is round. Charlie is big. Charlie is green. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is white. Charlie is young. Erin is big. Erin is quiet. Erin is young. Fiona is quiet. Fiona is rough. Fiona is white. All round things are quiet. Round, big things are young.
Anne is not quiet.
@0: Anne is quiet.[(triple1 OR ((triple3) -> rule1))] Anne is rough.[(triple2)] Anne is round.[(triple3)] Charlie is big.[(triple4)] Charlie is green.[(triple5)] Charlie is quiet.[(triple6 OR ((triple8) -> rule1))] Charlie is rough.[(triple7)] Charlie is round.[(triple8)] Charlie is white.[(triple9)] Charlie is young.[(triple10 OR ((triple8 triple4) -> rule2))] Erin is big.[(triple11)] Erin is quiet.[(triple12)] Erin is young.[(triple13)] Fiona is quiet.[(triple14)] Fiona is rough.[(triple15)] Fiona is white.[(triple16)]