Bob is big. Bob is green. Bob is kind. Bob is not nice. Bob is not rough. Bob is round. Bob is young. All young things are green. If Bob is rough and Bob is not green then Bob is nice.
Bob is nice.
@0: Bob is big.[(triple1)] Bob is green.[(triple2 OR ((triple7) -> rule1))] Bob is kind.[(triple3)] Bob is not nice.[(triple4)] Bob is not rough.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7)]