Charlie is quiet. Charlie is young. Dave is furry. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is young. All young people are quiet.
Dave is not quiet.
@0: Charlie is quiet.[(triple1 OR ((triple2) -> rule1))] Charlie is young.[(triple2)] Dave is furry.[(triple3)] Fiona is blue.[(triple4)] Fiona is kind.[(triple5)] Fiona is nice.[(triple6)] Fiona is young.[(triple7)] @1: Fiona is quiet.[(((triple7) -> rule1))]