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