Bob is furry. Bob is green. Bob is kind. Bob is rough. Bob is not round. Bob is smart. Bob is not young. If someone is smart then they are furry.
Bob is rough.
@0: Bob is furry.[(triple1 OR ((triple6) -> rule1))] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is not round.[(triple5)] Bob is not young.[(triple7)] Bob is rough.[(triple4)] Bob is smart.[(triple6)]