Anne is green. Anne is kind. Anne is nice. Anne is white. Dave is kind. Dave is white. Fiona is white. Fiona is young. Gary is blue. Gary is round. Gary is white. Gary is young. Nice things are kind. All blue, kind things are nice.
Dave is green.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2 OR ((triple3) -> rule1))] Anne is nice.[(triple3)] Anne is white.[(triple4)] Dave is kind.[(triple5)] Dave is white.[(triple6)] Fiona is white.[(triple7)] Fiona is young.[(triple8)] Gary is blue.[(triple9)] Gary is round.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12)]