Bob is big. Bob is furry. Bob is green. Bob is nice. Bob is not quiet. Bob is not rough. Bob is smart. All big, nice things are smart. All quiet things are not nice. If Bob is green then Bob is nice.
Bob is not furry.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4 OR ((triple3) -> rule3))] Bob is not quiet.[(triple5)] Bob is not rough.[(triple6)] Bob is smart.[(triple7 OR ((triple1 triple4) -> rule1) OR ((triple1 ((triple3) -> rule3)) -> rule1))]