Anne is blue. Anne is green. Anne is red. Anne is young. Fiona is blue. Fiona is nice. Fiona is young. All blue, red things are green. Blue, kind things are not green.
Fiona is young.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2 OR ((triple1 triple3) -> rule1))] Anne is red.[(triple3)] Anne is young.[(triple4)] Fiona is blue.[(triple5)] Fiona is nice.[(triple6)] Fiona is young.[(triple7)]