Anne is red. Anne is young. Dave is green. Dave is not red. Dave is young. Erin is blue. Erin is kind. All blue things are kind. Young, rough things are kind. White things are blue. If something is kind and white then it is not green. Green, white things are young. If something is white and not blue then it is red.
Erin is not red.
@0: Anne is red.[(triple1)] Anne is young.[(triple2)] Dave is green.[(triple3)] Dave is not red.[(triple4)] Dave is young.[(triple5)] Erin is blue.[(triple6)] Erin is kind.[(triple7 OR ((triple6) -> rule1))]