Charlie is blue. Charlie is rough. Charlie is smart. Charlie is young. Dave is blue. Dave is quiet. Dave is rough. Dave is not young. Fiona is not nice. Fiona is not quiet. Fiona is smart. Fiona is young. Quiet people are not young. Nice people are not quiet.
Fiona is smart.
@0: Charlie is blue.[(triple1)] Charlie is rough.[(triple2)] Charlie is smart.[(triple3)] Charlie is young.[(triple4)] Dave is blue.[(triple5)] Dave is not young.[(triple8 OR ((triple6) -> rule1))] Dave is quiet.[(triple6)] Dave is rough.[(triple7)] Fiona is not nice.[(triple9)] Fiona is not quiet.[(triple10)] Fiona is smart.[(triple11)] Fiona is young.[(triple12)]