Charlie is not green. Dave is round. Fiona is quiet. Harry is round. Round things are nice. If something is quiet and not nice then it is green.
Charlie is green.
@0: Charlie is not green.[(triple1)] Dave is round.[(triple2)] Fiona is quiet.[(triple3)] Harry is round.[(triple4)] @1: Dave is nice.[(((triple2) -> rule1))] Harry is nice.[(((triple4) -> rule1))]