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