Bob is big. Bob is not blue. Bob is green. Bob is kind. Bob is smart. Bob is white. Bob is young. All blue, kind things are green. If Bob is kind then Bob is green. If something is blue and kind then it is white. If something is big and kind then it is white. All kind things are white. Big things are smart. If something is white and not green then it is not smart. White, blue things are smart.
Bob is not blue.
@0: Bob is big.[(triple1)] Bob is green.[(triple3 OR ((triple4) -> rule2))] Bob is kind.[(triple4)] Bob is not blue.[(triple2)] Bob is smart.[(triple5 OR ((triple1) -> rule6))] Bob is white.[(triple6 OR ((triple4) -> rule5) OR ((triple1 triple4) -> rule4))] Bob is young.[(triple7)]