Anne is furry. Anne is green. Anne is kind. Dave is blue. Dave is furry. Dave is green. Dave is nice. Dave is round. Fiona is blue. Fiona is green. Fiona is kind. Fiona is nice. Gary is big. Gary is green. Gary is kind. Gary is round. Kind, round people are nice.
Fiona is big.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Dave is blue.[(triple4)] Dave is furry.[(triple5)] Dave is green.[(triple6)] Dave is nice.[(triple7)] Dave is round.[(triple8)] Fiona is blue.[(triple9)] Fiona is green.[(triple10)] Fiona is kind.[(triple11)] Fiona is nice.[(triple12)] Gary is big.[(triple13)] Gary is green.[(triple14)] Gary is kind.[(triple15)] Gary is round.[(triple16)] @1: Gary is nice.[(((triple15 triple16) -> rule1))]