Anne is nice. Charlie is round. Dave is young. Fiona is smart. Green, round things are quiet. Quiet things are green. All smart things are round.
Fiona is not quiet.
@0: Anne is nice.[(triple1)] Charlie is round.[(triple2)] Dave is young.[(triple3)] Fiona is smart.[(triple4)] @1: Fiona is round.[(((triple4) -> rule3))]