Anne is blue. Fiona is blue. Fiona is green. Fiona is nice. Harry is blue. Harry is furry. Harry is green. Harry is kind. Harry is nice. Harry is young. Young things are blue.
Fiona is kind.
@0: Anne is blue.[(triple1)] Fiona is blue.[(triple2)] Fiona is green.[(triple3)] Fiona is nice.[(triple4)] Harry is blue.[(triple5 OR ((triple10) -> rule1))] Harry is furry.[(triple6)] Harry is green.[(triple7)] Harry is kind.[(triple8)] Harry is nice.[(triple9)] Harry is young.[(triple10)]