Bob is not green. Bob is kind. Bob is quiet. Bob is red. Bob is rough. Bob is smart. Bob is young. If something is smart then it is red. If something is red and not quiet then it is green.
Bob is kind.
@0: Bob is kind.[(triple2)] Bob is not green.[(triple1)] Bob is quiet.[(triple3)] Bob is red.[(triple4 OR ((triple6) -> rule1))] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)]