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 quiet.
@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))]