Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is white. All green, quiet people are white.
Bob is not red.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Bob is white.[(triple7 OR ((triple2 triple5) -> rule1))]