Bob is furry. Bob is nice. Bob is not quiet. Bob is rough. Bob is smart. Erin is smart. Erin is not young. Harry is furry. Harry is nice. Harry is quiet. Harry is rough. Harry is not white. If something is furry and not young then it is quiet. Rough, nice things are furry.
Harry is white.
@0: Bob is furry.[(triple1 OR ((triple4 triple2) -> rule2))] Bob is nice.[(triple2)] Bob is not quiet.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Erin is not young.[(triple7)] Erin is smart.[(triple6)] Harry is furry.[(triple8 OR ((triple11 triple9) -> rule2))] Harry is nice.[(triple9)] Harry is not white.[(triple12)] Harry is quiet.[(triple10)] Harry is rough.[(triple11)]