Anne is furry. Anne is nice. Bob is kind. Bob is nice. Bob is quiet. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is young. Erin is blue. Erin is kind. All young, blue things are nice.
Erin is not nice.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Charlie is blue.[(triple6)] Charlie is furry.[(triple7)] Charlie is kind.[(triple8)] Charlie is nice.[(triple9 OR ((triple10 triple6) -> rule1))] Charlie is young.[(triple10)] Erin is blue.[(triple11)] Erin is kind.[(triple12)]