Anne is nice. Anne is quiet. Fiona is white. Fiona is young. Gary is quiet. Harry is quiet. Harry is rough. If something is young then it is nice. All rough things are nice.
Harry is not quiet.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Fiona is white.[(triple3)] Fiona is young.[(triple4)] Gary is quiet.[(triple5)] Harry is quiet.[(triple6)] Harry is rough.[(triple7)] @1: Fiona is nice.[(((triple4) -> rule1))] Harry is nice.[(((triple7) -> rule2))]