Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is smart. Bob is white. White people are cold.
Bob is green.
@0: Bob is cold.[(triple1 OR ((triple7) -> rule1))] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is quiet.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7)]