Bob is blue. Bob is cold. Bob is green. Bob is nice. Bob is red. Bob is rough. Bob is white. If someone is green then they are white.
Bob is white.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6)] Bob is white.[(triple7 OR ((triple3) -> rule1))]