Bob is blue. Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is round. Bob is white. Gary is blue. Gary is cold. Gary is green. Gary is kind. Gary is nice. Gary is round. Gary is white. Kind people are green.
Bob is not blue.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3 OR ((triple4) -> rule1))] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Bob is round.[(triple6)] Bob is white.[(triple7)] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is green.[(triple10 OR ((triple11) -> rule1))] Gary is kind.[(triple11)] Gary is nice.[(triple12)] Gary is round.[(triple13)] Gary is white.[(triple14)]