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