Anne is kind. Erin is kind. Fiona is big. Fiona is green. Fiona is kind. Fiona is nice. Fiona is young. If something is young and nice then it is furry. All round, nice things are young.
Anne is nice.
@0: Anne is kind.[(triple1)] Erin is kind.[(triple2)] Fiona is big.[(triple3)] Fiona is green.[(triple4)] Fiona is kind.[(triple5)] Fiona is nice.[(triple6)] Fiona is young.[(triple7)] @1: Fiona is furry.[(((triple7 triple6) -> rule1))]