Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is young. Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is young. Smart, red things are nice. Smart things are quiet.
Fiona is not quiet.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3 OR ((triple6 triple5) -> rule1))] Charlie is quiet.[(triple4 OR ((triple6) -> rule2))] Charlie is red.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Fiona is green.[(triple8)] Fiona is kind.[(triple9)] Fiona is nice.[(triple10 OR ((triple13 triple12) -> rule1))] Fiona is quiet.[(triple11 OR ((triple13) -> rule2))] Fiona is red.[(triple12)] Fiona is smart.[(triple13)] Fiona is young.[(triple14)]