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