Bob is blue. Bob is green. Bob is nice. Bob is quiet. Bob is rough. Bob is white. Bob is young. If Bob is not white and Bob is not young then Bob is nice. If Bob is not young then Bob is green. If something is young then it is nice. If Bob is white and Bob is young then Bob is rough. If something is quiet then it is green. All quiet things are green. If something is rough and not nice then it is quiet. If something is young and not nice then it is quiet.
Bob is not blue.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2 OR ((triple4) -> rule5) OR ((triple4) -> rule6))] Bob is nice.[(triple3 OR ((triple7) -> rule3))] Bob is quiet.[(triple4)] Bob is rough.[(triple5 OR ((triple6 triple7) -> rule4))] Bob is white.[(triple6)] Bob is young.[(triple7)]