Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is not smart. Bob is not white. If something is smart then it is not nice. If something is kind and furry then it is blue.
Bob is not green.
@0: Bob is blue.[(triple1 OR ((triple4 triple2) -> rule2))] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Bob is not smart.[(triple6)] Bob is not white.[(triple7)]