Bob is not big. Bob is blue. Bob is not furry. Bob is green. Bob is not nice. Bob is round. Bob is smart. If Bob is big and Bob is round then Bob is not nice. If someone is smart and blue then they are round.
Bob is furry.
@0: Bob is blue.[(triple2)] Bob is green.[(triple4)] Bob is not big.[(triple1)] Bob is not furry.[(triple3)] Bob is not nice.[(triple5)] Bob is round.[(triple6 OR ((triple7 triple2) -> rule2))] Bob is smart.[(triple7)]