Bob is furry. Bob is not green. Bob is nice. Bob is rough. Bob is round. Bob is smart. Bob is young. Rough things are smart. If something is rough and not furry then it is green. All green things are young. If something is round and not green then it is nice. If something is green then it is nice. If something is rough and not furry then it is nice.
Bob is not nice.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple3 OR ((triple5 triple2) -> rule4))] Bob is not green.[(triple2)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6 OR ((triple4) -> rule1))] Bob is young.[(triple7)]