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