Anne is nice. Anne is quiet. Anne is rough. Fiona is kind. Fiona is nice. Fiona is round. Gary is nice. If Fiona is round and Fiona is not nice then Fiona is young. All round, kind people are not young. If Fiona is quiet and Fiona is rough then Fiona is not kind.
Gary is nice.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Fiona is kind.[(triple4)] Fiona is nice.[(triple5)] Fiona is round.[(triple6)] Gary is nice.[(triple7)] @1: Fiona is not young.[(((triple6 triple4) -> rule2))]