Bob is furry. Bob is kind. Bob is quiet. Charlie is furry. Charlie is not nice. Charlie is quiet. Charlie is young. Erin is furry. Erin is kind. Erin is nice. Erin is smart. Erin is young. If Erin is furry then Erin is nice.
Charlie is not kind.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3)] Charlie is furry.[(triple4)] Charlie is not nice.[(triple5)] Charlie is quiet.[(triple6)] Charlie is young.[(triple7)] Erin is furry.[(triple8)] Erin is kind.[(triple9)] Erin is nice.[(triple10 OR ((triple8) -> rule1))] Erin is smart.[(triple11)] Erin is young.[(triple12)]